This tool helps find errors in your JML specifications
and checks the consistency of the specifications and Java code
by applying static checking
and automated reasoning tools.
To get started:
1) Set your CLASSPATH and files to be
processed on the "Project Files" tab.
2) Set the path to the SIMPLIFY executable for your platform
on the "ESC Options" tab.
3) Press the check button and review the results on the "Results" tab.
Authors:
GUI tool: David Cok
KUN ESC/Java2 (http://www.niii.kun.nl/ita/sos/projects/escframe.html):
David Cok, Joe Kiniry (http://kind.cs.kun.nl/~kiniry)
ESC/Java: DEC/Compaq SRC Group (http://research.compaq.com/SRC/esc)
JML: Gary Leavens and group (http://www.cs.iastate.edu/~leavens/JML)