Author:
Dong Wei,Zhao ChangZhi,Shu ShaoXian,Leucker Martin
Publisher
Springer Science and Business Media LLC
Reference30 articles.
1. Shen C X, Zhang H G, Wang H M, et al. Research on trusted computing its development. Sic China Inf Sci, 2010, 53: 405–433
2. Leucker M, Schallhart C. A brief account of runtime verification. J Logic Algebra Program, 2009, 78: 293–303
3. Pnueli A. The temporal logic of programs. In: Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science. IEEE Computer Society, 1977. 46–57
4. Giannakopoulou D, Havelund K. Automata-based verification of temporal properties on running programs. In: Proceedings of the 16th Annual International Conference on Automated Software Engineering, IEEE Computer Society, 2001. 412–416
5. Geilen M. On the constructing of monitors for temporal logic properties. Electron Notes Theor Comput Sci, 2001, 55: 181–199
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献