Model-checking for real-time systems-Reference-Cited by-同舟云学术

Model-checking for real-time systems

Published:1995 Issue: Volume: Page:62-88
ISSN:0302-9743
Container-title:Fundamentals of Computation Theory
language:
Short-container-title:

Author:

Larsen Kim G.,Pettersson Paul,Yi Wang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60249-6_41.pdf

Reference22 articles.

1. Martin Abadi and Leslie Lamport. An Old-Fashioned Recipe for Real Time. Lecture Notes in Computer Science, 600, 1993.

2. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for Real-Time Systems. In Proceedings of Logic in Computer Science, pages 414–425. IEEE Computer Society Press, 1990.

3. R. Alur and D. Dill. Automata for Modelling Real-Time Systems. Theoretical Computer Science, 126(2): 183–236, April 1994.

4. H. R. Andersen. Partial Model Checking. To appear in Proceedings of LICS'95, 1995.

5. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic Model Checking: 1020 states and beyond. Logic in Computer Science, 1990.

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

1. Extensible Proof Systems for Infinite-State Systems;ACM Transactions on Computational Logic;2023-11-18

2. Verifying Timed Computation Tree Logic Based on Time Petri Nets;Petri Nets;2022

3. Equivalence Checking 40 Years After: A Review of Bisimulation Tools;Lecture Notes in Computer Science;2022

4. Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker;Proceedings of the 36th Annual ACM Symposium on Applied Computing;2021-03-22

5. Time semantics of executable activity diagrams for relativized conformance testing;Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2020-10-16