Affiliation:
1. Graduate School of Natural Science and Technology, Kanazawa University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference19 articles.
1. [1] E.M. Clarke, O. Grumberg, and D.A. Peled, Model Checking, MIT Press, 1999.
2. [2] R. Jhana and R. Majumdar, “Software model checking,” ACM Comput. Surv., vol.41, no.4, 2009. 10.1145/1592434.1592438
3. [3] L. de Moura and N. Bjϕrner, “Z3: An Efficient SMT Solver,” LNCS 4963, pp.337-340, 2008. 10.1007/978-3-540-78800-3_24
4. [4] E.M. Clarke, E.A. Emerson, and J. Sifakis, “Model Checking: Algorithmic Verification and Debugging,” Commun, ACM, vol.52, no.11, pp.74-84, 2009. 10.1145/1592761.1592781
5. [5] Corporation, R.E., Renesas Electronics, Renesas Electronics Corporation (online), http://japan.renesas.com/, 2014.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献