A JML tutorial: modular specification and verification of functional behavior for java

Authors:
Gary T. Leavens;Joseph R. Kiniry;Erik Poll
Affiliations:
Dept. of Computer Science, Iowa State University, Ames, IA;School of Computer Science and Informatics, University College Dublin, Dublin 4, Ireland;Computing Science Department, Radboud University Nijmegen, Nijmegen, The Netherlands
Venue:
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Year:
2007

An overview of JML tools and applications

International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems
Preliminary design of JML: a behavioral interface specification language for java

ACM SIGSOFT Software Engineering Notes

Tutorial on JML, the java modeling language

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving

Science of Computer Programming
OpenJML: JML for Java 7 by extending OpenJDK

NFM'11 Proceedings of the Third international conference on NASA Formal methods
Practical specification and verification with code contracts

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology

Hi-index	0.00