An automated translator for model checking time constrained workflow systems
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Automatic generation of model checking scripts based on environment modeling
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Partial order reduction for state/event LTL with application to component-interaction automata
Science of Computer Programming
Boosting multi-core reachability performance with shared hash tables
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design
Exploiting step semantics for efficient bounded model checking of asynchronous systems
Science of Computer Programming
| Hi-index | 0.00 |
We present a tool for parallel enumerative LTL model-checking andreachability analysis. The tool brings model checking to high-poweredmulti-core systems, as well as high-performance clusters. Boasting pluggablemodelling language framework, it is possible to leverage the availableparallel algorithms for multiple problem domains, by using suitable inputlanguage.