imitator

imitator/imitator

Sponsored OSS

Official build of imitator model-checker.

Artifact: IMITATOR4AMAS: Strategy Synthesis for STCTL

Artifact: Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata