Author:
Courcoubetis C.,Vardi M.,Wolper P.,Yannakakis M.
Reference21 articles.
1. S. Aggarwal, C. Courcoubetis, and P. Wolper. Adding liveness properties to coupled finite-state machines. ACM Transactions on Programming Languages and Systems, 12(2):303–339, 1990.
2. Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman. The Design and Analysis of Computer Algorithms. Addison Wesley, Reading, 1974.
3. Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman. Data Structures and Algorithms. Addison Wesley, Reading, 1982.
4. E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244–263, January 1986.
5. E. M. Clarke and O. Grümberg. Avoiding the state explosion problem in temporal logic model-checking algorithms. In Proc. 6th ACM Symposium on Principles of Distributed Computing, pages 294–303, Vancouver, British Columbia, August 1987.
Cited by
61 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking;Lecture Notes in Computer Science;2024
2. Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation;Lecture Notes in Computer Science;2022
3. Prut4j: Protocol Unit Testing fo(u)r Java;2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST);2021-04
4. More Efficient On-the-Fly Verification Methods of Colored Petri Nets;Computing and Informatics;2021
5. SOG-Based Multi-Core LTL Model Checking;2020 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom);2020-12