| Table of Subpages |
|---|
 |  |
Overview
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:
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems
- KeYmaera 3: A Theorem Prover for Hybrid Systems (first generation)
- KeYmaeraD for distributed hybrid systems
- Sphinx: Verification-Driven Engineering Toolkit
- AMC: approximation-refinement model checker
- SAAtRe: SAT-based Abstraction Refinement
- j'Imp Prover: simple resolution theorem prover