3224 search results - page 113 / 645 » On Checking Model Checkers |
158
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
84
Voted
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
195
Voted
POPL
2001
ACM
16 years 2 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
120
Voted
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...
119
Voted
SCAM
2009
IEEE
15 years 9 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann