URL details: www.imitator.fr/index.html

home > domains > imitator.fr > www.imitator.fr/index.html

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-24
URL speed: 0.879 MB/s, downloaded in 0.030 seconds

open external url

We found no external links pointing to this url.