Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Christian Lidström, Gianluca Redondi, Matteo Tessi, Dylan Trenti. Formal Analysis of a Railway Signaling Block Designed in AIDA. In Maurice H. ter Beek, Simon Collart Dutilleul, Thierry Lecomte, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings. Volume 16236 of Lecture Notes in Computer Science, pages 303-312, Springer, 2025. [doi]
Abstract is missing.