Applied Bounded Model Checking for Interlocking System Designs
Workshop, Towards a formal methods body of knowledge for railway control and safety systems; FM-RAIL-BOK workshop 2013 ; 2013 ; Madrid
Towards a formal methods body of knowledge for railway control and safety systems; FM-RAIL-BOK workshop 2013 ; 8368 ; 205-220
2014-01-01
16 pages
Held as part of the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013).
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Low-voltage interlocking self-checking loop, self-checking method and vehicle
European Patent Office | 2023
|PT2 configuration data checking for interlocking type Westinghouse
IuD Bahn | 2006
|A VEHICLE SIDE MIRRORS CAPABLE OF FORWARD CHECKING AND INTERLOCKING SYSTEM THEREOF
European Patent Office | 2024
A VEHICLE SIDE MIRRORS CAPABLE OF FORWARD CHECKING AND INTERLOCKING SYSTEM THEREOF
European Patent Office | 2024
|Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
ArXiv | 2024
|