imitator.fr domain details, IMITATOR − Parameter synthesis for real-time systems
Description: IMITATOR − A free software tool for parametric verification of real-time systems modeled using networks of parametric timed automata
real-time systems scheduling formal methods model checking parametric timed automata verification parameter synthesis too
Domain rank: 10000000
Domain speed: Very fast (0.048 seconds at 0.650 MB/s)
Indexed URLs from imitator.fr website (12)
The links in column here only counts links from external domains.
found date
links in
url title
url
2021-05-31
IMITATOR − Parameter synthesis for real-time systems
2021-05-31
IMITATOR − Parameter synthesis for real-time systems
2021-05-31
Publications related to IMITATOR
2021-05-31
Download IMITATOR
2021-05-31
Publications related to IMITATOR
2021-05-31
Frequently asked questions
2021-05-31
Tools related to IMITATOR
2021-05-31
The IMITATOR benchmarks library
2021-05-31
Contact
2021-05-31
IMITATOR − Parameter synthesis for real-time systems
2020-10-31
IMITATOR − Parameter synthesis for real-time systems
2021-05-31
Tutorial on Schedulability Analysis under Uncertainty using Formal Methods