An Automatic SPIN Validation of a Safety Critical Railway Control System.

Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo

Browse the full DSN paper archive.