714 search results - page 24 / 143 » Certifying Model Checkers |
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
ATVA
2008
Springer
14 years 11 months ago
2008
Springer
We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...
CAV
2008
Springer
14 years 11 months ago
2008
Springer
76
Voted
ATVA
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
38
Voted
ENTCS
2006
14 years 9 months ago
2006
