Verification of Solid State Interlocking Programs

Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick. Verification of Solid State Interlocking Programs. In Steve Counsell, Manuel Núñez, editors, Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. Volume 8368 of Lecture Notes in Computer Science, pages 253-268, Springer, 2013. [doi]

Abstract

Abstract is missing.