reachability-synthesis topic
List
reachability-synthesis repositories
trafficstars
imitator
26
Stars
12
Forks
Watchers
IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
