IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
model-checking model-checker real-time-systems timed-automata parameter-synthesis reachability-synthesis
-
Updated
Jan 9, 2025 - OCaml