Franco Mazzanti, Dimitri Belli. The 4SECURail Formal Methods Demonstrator. In Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings. Volume 13294 of Lecture Notes in Computer Science, pages 149-165, Springer, 2022. [doi]
Abstract is missing.