KeYmaera: A Hybrid Theorem Prover for Hybrid Systems
KeYmaera is a hybrid verification tool for hybrid systems. It supports differential dynamic logic for hybrid programs and combines deductive, real algebraic, and computer algebraic prover technologies for verifying parameterized hybrid systems.