Model Checking MSVL Programs Based on Dynamic Symbolic Execution

Zhenhua Duan, Kangkang Bu, Cong Tian, Nan Zhang. Model Checking MSVL Programs Based on Dynamic Symbolic Execution. In Dachuan Xu, Donglei Du, Dingzhu Du, editors, Computing and Combinatorics - 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings. Volume 9198 of Lecture Notes in Computer Science, pages 521-533, Springer, 2015. [doi]

Abstract

Abstract is missing.