URL details: lfcps.com/info/KeYmaera.html

home > domains > lfcps.com > lfcps.com/info/KeYmaera.html

URL title: KeYmaera Software: A Hybrid Theorem Prover for Hybrid Systems
URL description: 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.
URL keywords: KeYmaera, HyKeY, differential dynamic logic, hybrid systems verification tool, hybrid systems prover, hybrid systems proof, KeYm
URL last crawled: 2024-07-25
URL speed: 0.320 MB/s, downloaded in 0.600 seconds

open external url

We found no external links pointing to this url.