Author:
Hartonas-Garmhausen Vicky,Campos Sergio,Cimatti Alessandro,Clarke Edmund,Giunchiglia Fausto
Reference28 articles.
1. R. Alur, C. Courcourbetis, D. Dill, Model-checking for real-time systems, in: Proceedings of the fifth Symposium on Logics in Computer Science, 1990, pp. 414–425.
2. R. Alur, D. Dill, Automata for modeling real-time systems, Lecture Notes in Computer Science, 17th ICALP, Springer, Berlin, 1990.
3. A formal verification environment for railway signaling system design;Bernardeschi;Formal Methods System Des.,1998
4. Borälv, A fully automated approach for proving safety properties in interlocking software using automatic theorem-proving, in: S. Gnesi, D. Latella (Eds.), Proceedings of the Second International ERCIM Workshop on Formal Methods for Industrial Critical Systems, Pisa, Italy, July 1997.
5. R.E. Bryant, Graph-based algorithms for boolean function manipulation, IEEE Trans. Comput. C-35(8) (1986).
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. DFT modeling approach for operational risk assessment of railway infrastructure;International Journal on Software Tools for Technology Transfer;2022-04-05
2. Synthesis of Railway Signaling Layout from Local Capacity Specifications;Lecture Notes in Computer Science;2019
3. Formal Verification of Network Interlocking Control by Distributed Signal Boxes;Model-Based Safety and Assessment;2019
4. Monitoring and Predicating Accidents for Interlocking Systems Based on SHA;2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI);2018-10
5. A safety instrumented system for rolling stocks: Methodology, design process and safety analysis;Measurement;2015-05