temporalJML

temporalJML

temporalJML is an extension to JML that allows the specification and checking of temporal properties of programs.

Setup

Instructions to install temporalJML can be found in: http://www.eecs.ucf.edu/~fhussain/install_temporaljmlc.html.

References

Faraz Hussain's Master's thesis: http://archives.cs.iastate.edu/documents/disk0/00/00/06/52/index.html

SEFM 2010 paper: http://dx.doi.org/10.1109/SEFM.2010.15