Issue 3/2018
Formal Methods for Transport Systems
Content (6 Articles)
Introduction
Formal methods for transport systems
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Formal Methods for Transport Systems
Modelling and simulating a Thai railway signalling system using Coloured Petri Nets
Somsak Vanit-Anunchai
Formal Methods for Transport Systems
Towards formal methods diversity in railways: an experience report with seven frameworks
Franco Mazzanti, Alessio Ferrari, Giorgio O. Spagnolo
Formal Methods for Transport Systems
Spatio-temporal model checking of vehicular movement in public transport systems
Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
Regular Paper
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, C. Loiacono, M. Palena, P. Pasini, D. Patti, S. Quer
Regular Paper
CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools
Stefan Naujokat, Michael Lybecait, Dawid Kopetzki, Bernhard Steffen