Author:
Tian Cong,Liu Shaoying,Duan Zhenhua
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Lecture Notes in Computer Science;E.M. Clarke,1982
2. Lecture Notes in Computer Science;J.P. Quielle,1982
3. Clarke, E.M., Grumber, O., Peled, D.: Model Checking. MIT Press (2000)
4. Jhala, R., Majumdar, R.: Software model checking. ACM Comput. Surv. 41(4) (2009)
5. Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The software model checker Blast. Software Tools for Technology Transfer 9(5-6), 505–525 (2007)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献