Model Checking MSVL Programs Based on Dynamic Symbolic Execution. - Zhenhua Duan; Kangkang Bu; Cong Tian; Nan Zhang 001 (COCOON, 2015)