• YASM

  • Referenced in 12 articles [sw09470]
  • model-checker based on the Counter-Example Guided Abstraction Refinement (CEGAR) [6] framework. A number...
  • opaal

  • Referenced in 6 articles [sw13332]
  • using a method similar to Counter-Example Guided Abstraction Refinement. The opaal engine supports...
  • Zing

  • Referenced in 38 articles [sw01037]
  • Zing is a software model checking project at...
  • veriSoft

  • Referenced in 91 articles [sw01489]
  • VeriSoft automatically searches for coordination problems (deadlocks, etc...
  • BLAST

  • Referenced in 123 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • SPIN

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

  • Referenced in 107 articles [sw04123]
  • In 1995, HyTech broke new ground as a...
  • HyTech

  • Referenced in 320 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • RSOLVER

  • Referenced in 70 articles [sw04334]
  • RSolver is a program for solving quantified inequality...
  • CPAchecker

  • Referenced in 46 articles [sw07408]
  • Cpachecker with sequential combination of explicit-state analysis...
  • HSolver

  • Referenced in 40 articles [sw07419]
  • HSolver is a program for verification of hybrid...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • Using the Bandera tool set to model-check...
  • KRATOS

  • Referenced in 7 articles [sw07808]
  • KRATOS: A software model checker for SystemC. he...
  • Bebop

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

  • Referenced in 35 articles [sw10314]
  • d/dt is a tool for reachability analysis of...
  • HARE

  • Referenced in 2 articles [sw10938]
  • Hybrid automata-based CEGAR for rectangular hybrid systems...
  • SpaceEx

  • Referenced in 62 articles [sw10939]
  • SpaceEx: Scalable Verification of Hybrid Systems. We present...
  • SatAbs

  • Referenced in 37 articles [sw12804]
  • SATABS: SAT-based predicate abstraction for ANSI-C...
  • C-SHORe

  • Referenced in 5 articles [sw13319]
  • C-shore, a collapsible approach to higher-order...
  • LusSy

  • Referenced in 5 articles [sw14918]
  • LusSy: A toolbox for the analysis of systems...