• Daikon

  • Referenced in 44 articles [sw04319]
  • The Daikon system for dynamic detection of likely...
  • Why3

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

  • Referenced in 33 articles [sw07259]
  • Korat: Automated testing based on Java predicates. This...
  • KeY

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

  • Referenced in 44 articles [sw10262]
  • Z/EVES Eclipse prover IDE. Community Z Tools provide...
  • Z

  • Referenced in 286 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book...