URL details: www.imitator.fr/

home > domains > imitator.fr > www.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-30
URL speed: 0.176 MB/s, downloaded in 0.100 seconds

open external url

1 external links to this url

Only links from external domains are shown on this page.