Browse by author
Lookup NU author(s): Paulius Stankaitis, Dr Alexei Iliasov
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Formal verification of safety-critical systems is crucial for demonstrating their safety to the certification bodies. In particular, the railway network validation requires rigorous analyses and the use of formal methods to meet railway standards. This student paper outlines objectives and the current progress of the work on verification of complex railway networks consisting of the areas with different signalling and interlocking.
Author(s): Stankaitis P, Iliasov A
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification (RSSRail 2016)
Year of Conference: 2016
Pages: 150-159
Online publication date: 15/06/2016
Acceptance date: 02/04/2016
Publisher: Springer
URL: https://doi.org/10.1007/978-3-319-33951-1_11
DOI: 10.1007/978-3-319-33951-1_11
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783319339504
