KeYmaera
Karlsruhe Institute of Technology, Chalmers University, Univ. Koblenz, Univ. Oldenburg, Carnegie Mellon University
KeYmaera 3.2: 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