Model Checking Interlocking Control Tables-Reference-Cited by-同舟云学术

Model Checking Interlocking Control Tables

Published:2011 Issue: Volume: Page:107-115
ISSN:
Container-title:FORMS/FORMAT 2010
language:
Short-container-title:

Author:

Ferrari Alessio,Magnani Gianluca,Grasso Daniele,Fantechi Alessandro

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-14261-1_11.pdf

Reference15 articles.

1. Anunchai, S.V.: Verification of Railway Interlocking Tables using Coloured Pertri Nets. Proceedings of the 10th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (2009)

2. Boralv, A.: Formal Verification of a Computerized Railway Interlocking. Formal Aspects of Computing 10 (1998) 338–360

3. Cimatti, A., et al.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. CAV 2002, LNCS 2404, 359–364

4. Fokkink , W., Hollingshead, P.: Verification of Interlockings: from Control Tables to Ladder Logic Diagrams. 3rd FMICS Workshop (1998) 171–185.

5. Hansen, K.M.: Formalizing Railway Interlocking Systems. Proceedings of the 2nd FMERail Workshop (1998)

Cited by 63 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. OnTrack: Reflecting on domain specific formal methods for railway designs;Science of Computer Programming;2024-03

2. LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

3. Compositional Verification of Railway Interlocking Systems;Formal Aspects of Computing;2023-01-12

4. Automated Compositional Verification of Interlocking Systems;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2023

5. Route management modeling of high-speed trains on the train dispatcher section;E3S Web of Conferences;2023