IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
So far, the global time clock must be added manually for selected algorithm (e.g., EFtmin or EF_timed).
Goal: add it automatically, and hide it to the model developer.
So far, the global time clock must be added manually for selected algorithm (e.g.,
EFtminorEF_timed). Goal: add it automatically, and hide it to the model developer.