1. Formal methods for transport systems

   • Maurice H. ter Beek
   • Stefania Gnesi
   • Alexander Knapp

   Introduction 05 March 2018 Pages: 237 - 241

2. Modelling and simulating a Thai railway signalling system using Coloured Petri Nets

   • Somsak Vanit-Anunchai

   Formal Methods for Transport Systems 17 January 2018 Pages: 243 - 262

   

3. Towards formal methods diversity in railways: an experience report with seven frameworks

   • Franco Mazzanti
   • Alessio Ferrari
   • Giorgio O. Spagnolo

   Formal Methods for Transport Systems 08 March 2018 Pages: 263 - 288

   

4. Spatio-temporal model checking of vehicular movement in public transport systems

   • Vincenzo Ciancia
   • Stephen Gilmore
   • Mieke Massink

   Formal Methods for Transport Systems 24 January 2018 Pages: 289 - 311

   

5. To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking

   • G. Cabodi
   • P. E. Camurati
   • S. Quer

   Regular Paper 02 March 2017 Pages: 313 - 325

   

6. CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools

   • Stefan Naujokat
   • Michael Lybecait
   • Bernhard Steffen

   Regular Paper 12 May 2017 Pages: 327 - 354