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.
- Category: Testing Tools
- License: GNU General Public License (GPL)
- HomePage: http://www.key-project.org
