The RAISE specification language
The RAISE specification language
Model checking
Tool support for checking railway interlocking designs
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
A formal approach for the construction and verification of railway control systems
Formal Aspects of Computing
FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
Formal development of a tool for automated modelling and verification of relay interlocking systems
FM'11 Proceedings of the 17th international conference on Formal methods
Towards a framework for modelling and verification of relay interlocking systems
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Formal methods for intelligent transportation systems
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Defining and model checking abstractions of complex railway models using CSP||B
HVC'12 Proceedings of the 8th international conference on Hardware and Software: verification and testing
Hi-index | 0.00 |
This paper describes a tool for extracting formal safety conditions from interlocking tables for railway interlocking systems. The tool has been applied to generate safety conditions for the interlocking system at Stenstrup station in Denmark, and the generated conditions were then checked to hold by the SAL model checker tool.