search

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.
https://www.imitator.fr/
GNU General Public License v3.0
26 stars 12 forks source link

New feature: Syntatic arrays of parameters #177

Closed tomaz1502 closed 6 months ago

tomaz1502 commented 6 months ago

Related to: #170