Download KeYmaera & Documentation
KeYmaera is distributed under the GNU General Public License.
Requirements:
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:
|
