Publisher
Springer Berlin Heidelberg
Reference111 articles.
1. Alur, R., Courcourbetis, C., Dill, D.: Model-checking for real-time systems. In: Proceedings of the 5th Symp. on Logic in Computer Science, pp. 414–425 (1990)
2. Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design: An International Journal 15(1), 7–48 (1999)
3. Apt, K., Kozen, D.: Limits for automatic verification of finite-state systems. IPL 15, 307–309 (1986)
4. Aggarwal, S., Kurshan, R.P., Sabnani, K.: A calculus for protocol specification and validation. In: Rudin, H., West, C.H. (eds.) Protocol Specification, Testing and Verification, pp. 19–34. North-Holland (1983)
5. Lecture Notes in Computer Science;R. Alur,2005
Cited by
59 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Automated Mitigation of Frame Problem in UML Class Diagram Verification;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
2. Specifying Temporal Properties in UML Using Patterns: A Tool-Supported Approach;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
3. Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes;Journal of Software Engineering and Applications;2023
4. Constraint-based debugging in probabilistic model checking;Computing;2022-11-09
5. Reach-Avoid Analysis for Delay Differential Equations;2021 60th IEEE Conference on Decision and Control (CDC);2021-12-14