Section: New Software and Platforms

IMITATOR

Keywords: Verification - Parametric model - Parameter synthesis - Model Checking - Model Checker - Timed automata

Functional Description: IMITATOR is a software tool for parametric verification and robustness analysis of real-time systems with parameters. It relies on the formalism of networks of parametric timed automata, augmented with integer variables and stopwatches.

• Participants: Etienne Andre and Jaime Eduardo Arias Almeida

• Partner: Loria

• Contact: Etienne Andre

• Publications: The Inverse Method - Formalizing Time4sys using parametric timed automata - Minimal-Time Synthesis for Parametric Timed Automata - A benchmark library for parametric timed model checking

• URL: https://www.imitator.fr/