Analysis Tools and Applications

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid SystemsKeYmaera: A Hybrid Theorem Prover for Hybrid Systems
Sphinx: Verification-Driven Engineering Toolkit


From this page, you will find analysis tools for various classes of problems, mostly in systems analysis. The most exciting ones are theorem provers and similar verification tools related to hybrid systems.

Verification tools:

Older verification tools: