• SLAM

  • Referenced in 153 articles [sw03136]
  • SLAM is a project for checking that software...
  • ARMC

  • Referenced in 28 articles [sw04949]
  • ARMC: The Logical Choice for Software Model Checking...
  • Dagger

  • Referenced in 15 articles [sw04953]
  • Automatically refining abstract interpretations. Abstract interpretation techniques prove...
  • PPL

  • Referenced in 104 articles [sw05357]
  • Possibly not closed convex polyhedra and the Parma...
  • TRACER

  • Referenced in 12 articles [sw09484]
  • TRACER: A Symbolic Execution Tool for Verification. TRACER...
  • InvGen

  • Referenced in 15 articles [sw09780]
  • InvGen: An Efficient Invariant Generator. In this paper...
  • HSF

  • Referenced in 12 articles [sw09937]
  • HSF(C): A Software Verifier based on Horn...
  • SeaHorn

  • Referenced in 19 articles [sw18274]
  • The SeaHorn verification framework. In this paper, we...
  • VeriMAP

  • Referenced in 11 articles [sw22866]
  • VeriMAP: Transformation-aided Horn Clause Verification. VeriMAP is...