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.
KeYmaera, HyKeY, differential dynamic logic, hybrid systems verification tool, hybrid systems prover, hybrid systems proof, KeYmaera verification tool, hybrid theorem prover, sequent calculus, automated theorem proving, decision procedures, computer algeb
Is this your site? Certify your site and update informations
