Zhong Xu
Department of Computer, Changsha University, Changsha Hunan, 410003, China
Xiao Jianyu
Department of Computer, Changsha University, Changsha Hunan, 410003, China
PDF Fulltext XML References Citation
How to cite this article
Zhong Xu and Xiao Jianyu, 2008. Combination of Model Checking and Theorem Proving to Develop and Verify Embedded Software. Information Technology Journal, 7: 623-630.
DOI: 10.3923/itj.2008.623.630
URL: https://scialert.net/abstract/?doi=itj.2008.623.630
DOI: 10.3923/itj.2008.623.630
URL: https://scialert.net/abstract/?doi=itj.2008.623.630