imitator.fr - IMITATOR − Parameter synthesis for real-time systems

home > domains > imitator.fr

Description: IMITATOR − A free software tool for parametric verification of real-time systems modeled using networks of parametric timed automata

program (2864) tool (1801) scheduling (1017) verification (359) formal methods (45) real-time systems (9) model checking (3) parametric timed automata (2) parameter synthesis (1) timed systems (1)

Example domain paragraphs

Book The Inverse Method (authored by Étienne André and Romain Soulat ) available from ISTE and Wiley & Sons.

29th August 2012

21th August 2012

Links to imitator.fr (1)

• jani-spec.org The JANI Specification