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.

Home Page:https://www.imitator.fr/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

imitator-model-checker/imitator Stargazers