imitator-model-checker
Results
1
repositories owned by
imitator-model-checker
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.