• ESC4

  • Referenced in 2 articles [sw07219]
  • methods. ESC4, the ESC component of the JML4 project, is able to verify many more...
  • HOL-Boogie

  • Referenced in 14 articles [sw00409]
  • Boogie is a program verification condition generator for...
  • Isabelle

  • Referenced in 601 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Why3

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

  • Referenced in 53 articles [sw04439]
  • Metis is an automatic theorem prover for first...
  • Spec#

  • Referenced in 119 articles [sw04598]
  • The Spec# programming system is a new attempt...
  • Isar

  • Referenced in 138 articles [sw04599]
  • Theorem proving system supporting both interactive proof development...
  • Omnibus

  • Referenced in 3 articles [sw04600]
  • Omnibus: a clean language and supporting tool for...
  • distcc

  • Referenced in 1 article [sw04602]
  • Distcc: a fast, free distributed C/C++ compiler distcc...
  • ESC/Java

  • Referenced in 133 articles [sw07217]
  • The Extended Static Checker for Java version 2...
  • Boogie

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

  • Referenced in 7 articles [sw07878]
  • JACK — A Tool for Validation of Security and...