Download KeYmaera Verification Tool for Hybrid Systems

Home >> Tools >> KeYmaera >> Download

Simple Webstart Version of KeYmaera

If you want to try a simple version of KeYmaera quickly without having to install it, use the KeYmaera Webstart (restricted version). Yet, the webstart version only provides a substantially reduced amount of features. To get the full verification power, we highly recommend that you download and install KeYmaera on your computer.

Download KeYmaera & Documentation

KeYmaera is distributed under the GNU General Public License.

The full version of KeYmaera with all features and full verification support can be installed on your computer as follows:

Requirements:

Launch
KeYmaera

Support

Send an email to KeYmaera mailing list

Developers

KeYmaera has been developed in the group of Prof. Ernst-Rüdiger Olderog at the University of Oldenburg. The basis of KeYmaera is the system KeY, developed jointly in the groups of Prof. Peter Schmitt at the University of Karlsruhe, Prof. Reiner Hähnle at the Chalmers University of Technology in Gothenburg, and Prof. Bernhard Beckert at the University of Koblenz. The main KeYmaera developers are: