- Referenced in 8 articles
- TSPASS system (i.e. the prover itself and the translation tool) was developed by Michael Ludwig...
- Referenced in 24 articles
- Rabbit: A tool for BDD-based verification of...
- Referenced in 258 articles
- Vampire 8.0, [RV02,Vor05] is an automatic theorem...
- Referenced in 153 articles
- SLAM is a project for checking that software...
- Referenced in 55 articles
- MetateM: An introduction. A methodology for the use...
- Referenced in 13 articles
- TeMP: A temporal monodic prover. First-Order Temporal...