• JML

  • Referenced in 189 articles [sw04597]
  • Java Modeling Language (JML) is a behavioral interface specification language that can be used...
  • JUnit

  • Referenced in 33 articles [sw07262]
  • practical approach to unit testing: The JML and JUnit way. Writing unit test code ... tests easier. It uses a formal specification language’s runtime assertion checker to decide whether ... this idea using the Java Modeling Language (JML) and the JUnit testing framework ... implemented with other combinations of formal specification languages and unit test tools...
  • LOOP

  • Referenced in 29 articles [sw10292]
  • LOOP tool translates Java and JML (a specification language tailored to Java) classes into their...
  • KRAKATOA

  • Referenced in 89 articles [sw03159]
  • environment for proving JAVA programs annotated with JML specifications. Our method is generic with respect ... computes proof obligations for a core imperative language annotated with pre- and post-conditions...
  • JCML

  • Referenced in 2 articles [sw06406]
  • Card modelling language) a specification language derived from JML (Java modelling language) and its implementation...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • jContractor

  • Referenced in 10 articles [sw01488]
  • jContractor: Introducing design-by-contract to Java using...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • LARCH

  • Referenced in 104 articles [sw02126]
  • The Larch family of languages supports a two...
  • PVS

  • Referenced in 629 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Eiffel

  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • SPSS

  • Referenced in 673 articles [sw04269]
  • SPSS is a computer program used for survey...
  • Daikon

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

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

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

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

  • Referenced in 7 articles [sw07668]
  • TACO: efficient sat-based bounded verification using symmetry...