ESC/Java: Difference between revisions

Revision as of 01:28, 17 November 2016

Revision as of 18:50, 2 April 2017

Line 8:

The [[Radboud University Nijmegen|University of Nijmegen]]'s ''Security of Systems'' group released alpha versions of ESC/Java2, an extended version of ESC/Java that processes the [[Java Modeling Language|JML]] specification language through 2004. From 2004 to 2009, ESC/Java2 development was managed by the KindSoftware Research Group at [[University College Dublin]], which in 2009 moved to the [[IT University of Copenhagen]], and in 2012 to the [[Technical University of Denmark]]. Over the years, ESC/Java2 has gained many new features including the ability to reason with multiple [[Automated theorem prover|theorem prover]]s and integration with [[Eclipse (software)|Eclipse]].

[http://jmlspecs.sourceforge.net OpenJML], the successor of ESC/Java2, is available for [[Java 1.4]]8.<ref>http://jmlspecs.sourceforge.net/</ref> The source is available usingat [[Apache Subversion]]https://github.com/OpenJML

<ref>https://sourceforge.net/p/jmlspecs/code/HEAD/tree/OpenJML/trunk/OpenJML/</ref>

== See also ==