Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System
No abstract available.
Related papers
- Automated Parameterized Verification of a Railway Protection System with Dafny CAV 2025
- Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study GPCE 2011
- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems TACAS 2022
- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning CAV 2022
- Design/CPN - A Computer Tool for Coloured Petri Nets TACAS 1997
- Branching Bisimulation Learning CAV 2025
- Balancing Automation and Control for Formal Verification of Microprocessors CAV 2021
- Verification-guided Programmatic Controller Synthesis TACAS 2023