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.

语言：OCaml · GitHub 星标：31 · Fork：17

话题：model-checker · model-checking · parameter-synthesis · reachability-synthesis · real-time-systems · timed-automata

在 GitHub 上查看原仓库