• RealPaver

  • Referenced in 51 articles [sw04401]
  • Algorithm 852 Realpaver: nonlinear constraint solving & rigorous global...
  • Cmodels

  • Referenced in 71 articles [sw04435]
  • Cmodels is a system that computes answer sets...
  • Why3

  • Referenced in 135 articles [sw04438]
  • Why3 is a platform for deductive program verification...
  • INTOPT_90

  • Referenced in 306 articles [sw04705]
  • Rigorous global search: continuous problems The monograph gives...
  • z3

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

  • Referenced in 44 articles [sw04894]
  • KLEE: Unassisted and Automatic Generation of High-Coverage...
  • Aspic

  • Referenced in 24 articles [sw04954]
  • Combining widening and acceleration in linear relation analysis...
  • ETPS

  • Referenced in 160 articles [sw06302]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • ArgoCLP

  • Referenced in 12 articles [sw07192]
  • A coherent logic based geometry theorem prover capable...
  • VCC

  • Referenced in 71 articles [sw07220]
  • VCC is a mechanical verifier for concurrent C...
  • Sat4j

  • Referenced in 85 articles [sw07283]
  • The Sat4j library, release 2.2 system description. Sat4j...
  • CPAchecker

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

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

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

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

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

  • Referenced in 28 articles [sw09693]
  • Compiling for template-based run-time code generation...
  • TVLA

  • Referenced in 34 articles [sw09878]
  • TVLA: A System for Implementing Static Analyses. We...
  • TETRAD

  • Referenced in 440 articles [sw12177]
  • TETRAD is a program which creates, simulates data...