Results 1 to 20 of 25
Sort by:

  • 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...