- Referenced in 3 articles
- supporting tool for integrating different assertion-based verification techniques. Omnibus is a new system...
- Referenced in 102 articles
- The RelView-System is an interactive tool for...
- Referenced in 20 articles
- FoCs -- automatic generation of simulation checkers from formal...
- Referenced in 198 articles
- Prover9 and Mace4: Prover9 is an automated theorem...
- Referenced in 227 articles
- finite model-finder Mace4. Mace4 is a program...
- Referenced in 161 articles
- BerkMin: A fast and robust SAT-solver. We...
- Referenced in 100 articles
- Fast LTL to Büchi automata translation. We present...