imitator-model-checker / imitator

IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
28Updated last week

Alternatives and similar repositories for imitator:

Users that are interested in imitator are comparing it to the libraries listed below