Research on Automatic Verification of Finite-State Concurrent Systems
-
Published:1987-06
Issue:1
Volume:2
Page:269-290
-
ISSN:8756-7016
-
Container-title:Annual Review of Computer Science
-
language:en
-
Short-container-title:Annu. Rev. Comput. Sci.
Author:
Clarke E M,Grumberg O
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A NEW APPROACH TO VERIFY STATECHART SPECIFICATIONS FOR REACTIVE SYSTEMS;International Journal of Software Engineering and Knowledge Engineering;2008-09
2. A Unified Framework for the Formal Verification of Sequential Circuits;The Best of ICCAD;2003
3. Temporal Logic and Model Checking;Verification of Digital and Hybrid Systems;2000
4. Planning as Model Checking;Recent Advances in AI Planning;2000
5. Hyperdocuments as automata;ACM Transactions on Information Systems;1998-01