• SPIN

  • Referenced in 699 articles [sw03455]
  • Spin is a popular open-source software tool...
  • z3

  • Referenced in 472 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • Boogie

  • Referenced in 114 articles [sw07714]
  • Boogie: An Intermediate Verification Language. Boogie is an...
  • Bebop

  • Referenced in 74 articles [sw08928]
  • Bebop: A Symbolic Model Checker for Boolean Programs...
  • UFO

  • Referenced in 18 articles [sw09570]
  • Ufo: A Framework for Abstraction- and Interpolation-Based...
  • CBMC

  • Referenced in 77 articles [sw09719]
  • CBMC is a Bounded Model Checker for ANSI...
  • Spacer

  • Referenced in 8 articles [sw19496]
  • SMT-based model checking for recursive programs. We...