ISoLA & AISoLA 2026

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

Talk

Formal Assurance for Railway Signalling: Expanding SAT Proof Checking to Certify Z3’s Inequality-Based SMT Proofs for ERTMS

Time: Sunday, 25.10

Room: Room 3

Authors: