Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.

Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso

Browse the full SAFECOMP paper archive.