3224 search results - page 66 / 645 » On Checking Model Checkers |
100
Voted
ISQED
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Self-calibrating designs have recently gained momentum as an alternative to methods relying on worst-case characterisation of silicon [2], [4], [8]. So far, reliable op...
129
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow a field than a thousand chickens. Although this is undoubtedly wise when...
115
click to vote
SAS
2001
Springer
15 years 8 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
155
Voted
MEMOCODE
2008
IEEE
15 years 10 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
127
Voted
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
Parfait is a bug checker of C code that has been designed to address developers’ requirements of scalability (support millions of lines of code in a reasonable amount of time), ...