ISoLA & AISoLA 2026

International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece

Session

Formal verification of interlocking • Sunday, 25.10

Room: Room 3
TimeTopicAuthors
09:00Cross-Interlocking Verification of People-Protection Functions
09:30Formal Specification and Analysis of Relay-Based Railway Interlocking Systems: Ten Years of Industrial Research and Experience
10:00Verifying Railway Control Systems Using the RSL* Language and Tools