Author:
Wang Xiaobing,Tian Cong,Duan Zhenhua,Zhao Liang
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science
Reference35 articles.
1. Liu S Y, Chen Y T, Nagoya F, McDermid J A. Formal specificationbased inspection for verification of programs. IEEE Transactions on Software Engineering, 2012, 38(5): 1100–1122
2. Lee S U J, Dobbie G, Sun J, Groves L. Theorem prover approach to semistructured data design. Formal Methods in System Design, 2010, 37(1): 1–60
3. Liu Z Y, Pang J, Zhang C Y. Design and formal verification of a CEM protocol with transparent TTP. Frontiers of Computer Science, 2013, 7(2): 279–297
4. Ding Z J, Jiang C J, Zhou M C. Design, analysis and verification of real-time systems based on time petri net refinement. ACM Transactions on Embedded Computing Systems, 2013, 12(1): 4
5. Fisher M. An Introduction to Practical Formal Methods Using Temporal Logic. Chichester: John Wiley & Sons, 2011
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献