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