Applied Bounded Model Checking for Interlocking System Designs-Reference-Cited by-同舟云学术

Applied Bounded Model Checking for Interlocking System Designs

Published:2014 Issue: Volume: Page:205-220
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Haxthausen Anne E.,Peleska Jan,Pinger Ralf

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-05032-4_16

Reference25 articles.

1. Guide to the software engineering body of knowledge. Technical report, IEEE Computer Society (2004). http://www.computer.org/portal/web/swebok/htmlformat

2. LNCS;P Behm,1999

3. LNCS;A Biere,1999

4. Biere, A., Heljanko, K., Junttila, T., Latvala, T., Schuppan, V.: Linear encodings of bounded LTL model checking. Log. Meth. Comput. Sci. 2(5), 1–64 (2006)

5. Bjørner, D.: New results and current trends in formal techniques for the development of software for transportation systems. In: Proceedings of the Symposium on Formal Methods for Railway Operation and Control Systems (FORMS’2003). L’Harmattan Hongrie, Budapest, 15–16 May 2003

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

1. Performance evaluation of electro-mechanical railway interlocking system for digital twin application;Computers and Electrical Engineering;2024-05

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

3. Formal Verification Method of CTCS-2 Level Train Control Engineering Data Based on the Reduced Ordered Binary Decision Diagram;IEEE Access;2024

4. 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

5. Temporal Verification of Relay-Based Railway Traffic Control Systems Using the Integrated Model of Distributed Systems;Energies;2022-11-29