673 search results - page 25 / 135 » A Model Checker for AADL |
127
click to vote
ATVA
2008
Springer
15 years 5 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...
82
Voted
CAV
2008
Springer
15 years 5 months ago
2008
Springer
117
Voted
ATVA
2008
Springer
15 years 5 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...
69
Voted
ENTCS
2006
15 years 3 months ago
2006
121
click to vote
ENTCS
2007
15 years 3 months ago
2007
We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning...