• Dafny

  • Referenced in 72 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • NuSMV

  • Referenced in 309 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • Why3

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

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

  • Referenced in 64 articles [sw07705]
  • The VeriFast program verifier. This note describes a...
  • WhyML

  • Referenced in 26 articles [sw09709]
  • We present Why3, a tool for deductive program...
  • KeY

  • Referenced in 64 articles [sw09969]
  • The KeY System is a formal software development...
  • Viper

  • Referenced in 9 articles [sw15038]
  • Viper: a verification infrastructure for permission-based reasoning...
  • Supremica

  • Referenced in 18 articles [sw18546]
  • Supremica - An integrated environment for verification, synthesis and...
  • OpenJML

  • Referenced in 6 articles [sw19841]
  • OpenJML: Software verification for Java 7 using JML...
  • Antichains

  • Referenced in 33 articles [sw20208]
  • Antichains: a new algorithm for checking universality of...
  • AutoProof

  • Referenced in 5 articles [sw30948]
  • AutoProof: Auto-active Functional Verification of Object-oriented...