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