Author:
Zhang Nan,Duan Zhenhua,Tian Cong,Du Hongwei
Funder
National Natural Science Foundation of China
Shaanxi Key Science and Technology Innovation Team Project
National Key Research and Development Program of China
Subject
General Computer Science,Theoretical Computer Science
Reference41 articles.
1. Design and synthesis of synchronisation skeletons using branching time temporal logic;Clarke,1981
2. Specification and verification of concurrent systems in CESAR;Queille,1982
3. A complete proof system for QPTL;Kesten;J. Log. Comput.,1995
4. The complexity of propositional linear temporal logics;Sistla;J. ACM,1985
5. Automatic verification of finite-state concurrent systems using temporal logic specifications;Clarke;ACM Trans. Program. Lang. Syst.,1986