URL details: imitator.fr
URL title:
IMITATOR − Parameter synthesis for real-time systems
URL description:
IMITATOR − A free software tool for parametric verification of real-time systems modeled using networks of parametric timed automata
URL keywords:
real-time systems, scheduling, formal methods, model checking, parametric timed automata, verification, parameter synthesis, too
URL last crawled:
2022-06-19
URL speed:
0.957 MB/s,
downloaded in 0.030 seconds
We found no external links pointing to this url.