ISoLA & AISoLA 2026

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

Session

ETCS ecosystem • Sunday, 25.10

Room: Room 3
TimeTopicAuthors
14:30Formal Assurance for Railway Signalling: Expanding SAT Proof Checking to Certify Z3’s Inequality-Based SMT Proofs for ERTMS
15:00Architectural Variants of ETCS-Based Trackside Systems in a Unified Ontology-Driven Validation Framework
15:30An Experimental Comparison of Simulation Tools for Fixed-Block and Moving-Block Train Control Systems