Tools related to HyMITATOR

Tool Features
APRON Numerical abstract domain library
HyTech Reachability analysis for hybrid automata
IMITATOR Parameter synthesis for timed automata
MAP A tool for transformation of logic programs using the unfold/fold methodology
PHAVer Polyhedral Hybrid Automaton Verifyer
PPL The Parma Polyhedra Library, used by IMITATOR
Prism Probabilistic symbolic model checker
RED library Extending BDD technology to dense-time spaces
Roméo A tool for (parametric) Time Petri Nets analysis
Uppaal Modeling, validation and verification of real-time systems modeled as timed automata

This page makes use of valid HTML 5 and valid CSS.

Content and CSS can be reused and modified under the terms of license Creative Commons Attribution 3.0 Unported (CC BY 3.0).

Creative Commons Attribution 3.0 Unported