JML
swMATH ID: | 4597 |
Software Authors: | Leavens, Gary T.; Cheon, Yoonsik |
Description: | The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages, with some elements of the refinement calculus. |
Homepage: | http://www.eecs.ucf.edu/~leavens/JML/ |
Keywords: | Java Modeling Language; no software |
Related Software: | Spec#; Eiffel; KRAKATOA; ESC/Java; PVS; Boogie; LOOP; KeY; Why3; Isabelle/HOL; SIMPLIFY; Coq; z3; Dafny; Caduceus; LARCH; JUnit; SPARK; SPIN; VeriFast |
Cited in: | 163 Documents |
all
top 5
Cited by 300 Authors
all
top 5
Cited in 32 Serials
all
top 5