714 search results - page 143 / 143 » Certifying Model Checkers |
CORR
2010
Springer
14 years 8 months ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
SEUS
2010
IEEE
14 years 8 months ago
2010
IEEE
Chilenski and Miller [1] claim that the error detection probability of a test set with full modified condition/decision coverage (MC/DC) on the system under test converges to 100%...
100
click to vote
IPPS
2010
IEEE
14 years 6 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
86
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Modern advanced botnets may employ a decentralized peer-to-peer overlay network to bootstrap and maintain their command and control channels, making them more resilient to traditi...