Model checking railway interlocking systems (original) (raw)
Related papers
Formal verification of a railway interlocking system using model checking
Fausto Giunchiglia, Alessandro Cimatti
1998
Pollack Periodica, 2019
Moeketse Kuenane, Stěpán Klapka
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System
2020
A formal verification environment for railway signaling system design
Formal Methods in …, 1998
Validation process for railway interlocking systems
Science of Computer Programming, 2016
Automated Verification of Signalling Principles in Railway Interlocking Systems 1
2010
Automated Verification of Signalling Principles in Railway Interlocking Systems
Electronic Notes in Theoretical Computer Science, 2009
Verification of railway interlocking systems
Electronic Proceedings in Theoretical Computer Science, 2015
Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B
Lecture Notes in Computer Science, 2013
Practical Verification of Railway Signalling Programs
IEEE Transactions on Dependable and Secure Computing, 2023
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design
2001
Techniques for modelling and verifying railway interlockings
International Journal on Software Tools for Technology Transfer, 2014
Verification of a safety-critical railway interlocking system with real-time constraints
Fausto Giunchiglia, Alessandro Cimatti
1998
Model-Driven Engineering of a Railway Interlocking System
Zentai András, Roberto Pietrantuono
2008
Compositional Verification of Railway Interlocking Systems
Formal Aspects of Computing
Compositional Verification of Railway Interlockings: Comparison of Two Methods
Springer eBooks, 2022
Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings
2012
A Model-based Approach for the Modeling and the Verification of Railway Signaling System
Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations
Lecture Notes in Computer Science, 2017
A formal modeling methodology of the French railway interlocking system via HCPN
Computers in Railways XIV, 2014
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018
Towards an Integrated Model Checker for Railway Signalling Data
Lecture Notes in Computer Science, 2002
Using z specification for railway interlocking safety
Periodica Polytechnica, Ser. Transport Engineering, 2000
The Role of Formal Methods in Software Development for Railway Applications
Concepts, Methodologies, Tools, and Applications
A Formal IDE for Railways: Research Challenges
Springer eBooks, 2023