Results 21 to 27 of 27
Sort by:

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