Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer. Formal Verification of Train Control with Air Pressure Brakes. In Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings. Volume 10598 of Lecture Notes in Computer Science, pages 173-191, Springer, 2017. [doi]
Abstract is missing.