Dalay Israel de Almeida Pereira, David Déharbe, Matthieu Perin, Philippe Bon. B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution. In Simon Collart Dutilleul, Thierry Lecomte, Alexander B. Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings. Volume 11495 of Lecture Notes in Computer Science, pages 242-258, Springer, 2019. [doi]
Abstract is missing.