Leavens, Rajan and Basu awarded an NSF grant to revitalize JML
News
TheĀ Java Modeling Language(JML) is a formal specification language that can document detailed designs of Java classes and interfaces. JML has been used by many formal methods researchers in different projects such as the ESC/Java extended static checker, the Daikon invariant detector,the Bogor model-checking framework, and others.