KeYmaera 1.8
University of Karlsruhe, Chalmers University, University of Koblenz-Landau, University of Oldenburg, Carnegie Mellon University
KeYmaera 1.8: 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