Tool demonstrations

The following tools will be demonstrated:

• Klaus Schneider and Tobias Schuele. Averest: Specification, Verification, and Implementation of Reactive Systems. Download abstract (PDF file).
• Jörg Desel and Vesna Milijic. Modelling and Validation with VipTool. Download abstract (PDF file).
• Sébastien Barbin, Alain Finkel, Jérôme Leroux, and Laure Petrucci. FAST: Fast Acceleration of Symbolic Transition Systems. Download abstract (PDF file).
• B. Kansagh, W. Vogler, R. Wollowski, and J. Beister. DESI: a tool for Decomposing Signal Transition Graphs. Download abstract (PDF file).
• Espresso team of IRISA Embedded system design using Polychrony. Download abstract (PDF file).
• Hervé Marchand. The Sigali Tool Box. Download abstract (PDF file).