• 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...