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