Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso. Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. In Wolfgang D. Ehrenberger, editor, Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP 98, Heidelberg, Germany, October 5-7, 1998, Proceedings. Volume 1516 of Lecture Notes in Computer Science, pages 284-295, Springer, 1998. [doi]
Abstract is missing.