imitator-model-checker / imitatorLinks

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 3 weeks ago

Alternatives and similar repositories for imitator

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

Sorting: