Alessio Ferrari 0001. Empirical Formal Methods in Railways: Experiences and Roadmap. 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 6-13, Springer, 2025. [doi]
Abstract is missing.