Author:Stefan Mitsch
Keyphrasesbenchmark2, component-based, differential dynamic logic, dynamical systems, formal verification2, hybrid games2, Hybrid Hoare Logic, hybrid systems4, nonlinear continuous systems, nonlinear systems2, Performance, theorem proving3, tools2, verification. |