ESC/Java: Difference between revisions

Revision as of 16:26, 24 March 2016

Revision as of 16:27, 24 March 2016

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]].

[[httpshttp://jmlspecs.sourceforge.net OpenJML]], the successor of ESC/Java2, is available for [[Java 1.4]].<ref>http://jmlspecs.sourceforge.net/</ref> The source is available using [[Apache Subversion]].<ref>https://sourceforge.net/p/jmlspecs/code/HEAD/tree/OpenJML/trunk/OpenJML/</ref>

== See also ==