ACCEPTED POSTERS & TOOL DEMONSTRATIONS
The posters and tool demonstrations track is scheduled in parallel with the main conference lunch break from 12:45 - 14:00 in Room 28.
- The ASMETA framework
by Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra - Tool-based Teaching of Formal Methods
by Shin Nakajima - Using the Overture Tool as a more General Platform
by Claus Ballegaard Nielsen, Kenneth Lausdahl, and Peter Gorm Larsen - Parametric Analysis of Hybrid Systems Using HYMITATOR
by Etienne Andre and Ulrich Kuhne - Debugging Abstract State Machine Specifications: An Extension of CoreASM
by Marcel Dausend, Michael Stegmaier, and Alexander Raschke - The Variability Model Checker VMC
by Maurice H. ter Beek - Using ProB and CSP | | B for railway modelling
by Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, and Helen Treharne - SAM: Stochastic Analyser for Mobility
by Michele Loreti - Timed CSP Simulator
by Marc Fontaine, Andy Gimblett, Faron Moller, Hoang Nga Nguyen, and Markus Roggenbach - Demo: The Margrave Tool for Policy Analysis
by Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi - Requirements Traceability between Textual Requirements and Formal Models Using ProR
by Lukas Ladenberger and Michael Jastram - UML-B Modelling and Animation Tool Demonstration
by Colin Snook, Vitaly Savicks, and Michael Butler