PV4 ⊧ Breachaids property investigation in deterministic models of hybrid dynamical systems

Matlab/C++ toolbox for simulation-based techniques aimed at analyzing deterministic models of hybrid dynamical systems?

Application domain/field

• Embedded systems design
• Hybrid systems

Internals

Breach has several features including:

• Reachability analysis
• Property-driven parameter synthesis