- Referenced in 699 articles
- Spin is a popular open-source software tool...
- Referenced in 472 articles
- Z3 is a high-performance theorem prover being...
- Referenced in 4 articles
- Ultimate automizer with smtinterpol. (Competition contribution) Ultimate automizer...
- Referenced in 114 articles
- Boogie: An Intermediate Verification Language. Boogie is an...
- Referenced in 74 articles
- Bebop: A Symbolic Model Checker for Boolean Programs...
- Referenced in 18 articles
- Ufo: A Framework for Abstraction- and Interpolation-Based...
- Referenced in 77 articles
- CBMC is a Bounded Model Checker for ANSI...
- Referenced in 8 articles
- SMT-based model checking for recursive programs. We...