• ESBMC

  • Referenced in 7 articles [sw09946]
  • ESBMC is a context-bounded model checker for embedded C/C++ software based on Satisfiability Modulo...
  • jMoped

  • Referenced in 10 articles [sw01486]
  • jMoped: A Java bytecode checker based on Moped...
  • SPIN

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

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

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

  • Referenced in 30 articles [sw09815]
  • BEEM: Benchmarks for Explicit Model Checker. We present...
  • MAGIC

  • Referenced in 37 articles [sw14159]
  • An iterative framework for simulation conformance. MAGIC is...
  • DDVerify

  • Referenced in 13 articles [sw20226]
  • DDVerify is tool for checking Linux device drivers...
  • Moped

  • Referenced in 3 articles [sw20266]
  • Moped - A Model-Checker for Pushdown Systems. ...