• Pono

  • Referenced in 2 articles [sw41583]
  • Pono: a flexible and extensible SMT-based model checker. Symbolic model checking is an important ... service of this goal, we present Pono, an open-source SMT-based model checker. Pono ... industry verification applications. In addition to performance, Pono prioritizes transparency (developed as an open-source ... project on GitHub), flexibility (Pono can be adapted to a variety of tasks by exploiting...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • SMT-LIB

  • Referenced in 196 articles [sw04103]
  • SMT-LIB was created with the expectation that...
  • NuSMV

  • Referenced in 314 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • z3

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

  • Referenced in 125 articles [sw09485]
  • CVC4 is an efficient open-source automatic theorem...
  • Mcmt

  • Referenced in 24 articles [sw11911]
  • Mcmt: a model checker modulo theories. We describe...
  • ABC

  • Referenced in 39 articles [sw12910]
  • ABC: An Academic Industrial-Strength Verification Tool. ABC...
  • Cython

  • Referenced in 73 articles [sw13752]
  • Cython is an optimising static compiler for both...
  • nuXmv

  • Referenced in 28 articles [sw18526]
  • The nuXmv Symbolic Model Checker. This paper describes...
  • PySMT

  • Referenced in 5 articles [sw19843]
  • PySMT: a solver-agnostic library for fast prototyping...
  • Kind 2

  • Referenced in 5 articles [sw21028]
  • Kind 2 is an open-source, multi-engine...
  • pytest

  • Referenced in 11 articles [sw21139]
  • The pytest framework makes it easy to write...
  • CTIGAR

  • Referenced in 9 articles [sw23310]
  • Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR). Typical...
  • googletest

  • Referenced in 7 articles [sw23385]
  • googletest: Google C++ Testing Framework. Google Test, Google...
  • SAFARI

  • Referenced in 10 articles [sw28669]
  • SAFARI: SMT-Based Abstraction for Arrays with Interpolants...
  • Yosys

  • Referenced in 5 articles [sw31796]
  • Yosys - a free verilog synthesis suite. Yosys is...
  • Booster

  • Referenced in 6 articles [sw33291]
  • Booster: an acceleration-based verification framework for array...