Author:
Liu Yang,Li Xuan-Dong,Ma Yan
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software
Reference46 articles.
1. Clarke E M, Emerson E A. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. the Workshop on Logic of Programs, May 1981, pp.52-71.
2. Queille J P, Sifakis J. Specification and verification of concurrent systems in CESAR. In Proc. the 5th Colloquium on International Symposium on Programming, April 1982, pp.337-351.
3. Lin H M, ZhangWH. Model checking: Theories, techniques and applications. Acta Electronica Sinica, 2002, 30(12A): 1907–1912. (in Chinese)
4. Baier C, Katoen J P. Principles of Model Checking. MIT Press, 2008.
5. Clarke E M, Emerson E A, Sifakis J. Model checking: Algorithmic verification and debugging. Communications of the ACM, 2009, 52(11): 74–84.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献