Research Article
Combination of Model Checking and Theorem Proving to Develop and Verify Embedded Software
Department of Computer, Changsha University, Changsha Hunan, 410003, China
Xiao Jianyu
Department of Computer, Changsha University, Changsha Hunan, 410003, China