KeY
The KeY-System is mainly a verification and testing tool for Java with JML/OCL contracts. The tool is being developed since November 1998 by the University of Karlsruhe, Chalmers University of Technology, Gothenburg, and the University of Koblenz.
Metadata
Category: Testing Tools
License: GNU General Public License (GPL)
Homepage: http://www.key-project.org
Sponsored Ad