reachability-synthesis

There are 0 repository under reachability-synthesis topic.

• 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.

  model-checkingmodel-checkerreal-time-systemsreachability-synthesisparameter-synthesistimed-automata
  Language:OCaml 26