KeYmaera 1.9
University of Karlsruhe, Chalmers University, University of Koblenz-Landau, University of Oldenburg, Carnegie Mellon University
KeYmaera 1.9: A Hybrid Theorem Prover for Hybrid Systems.
This tool is for verifying hybrid systems given as hybrid programs.
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems
dL