Model Checking MSVL Programs Based on Dynamic Symbolic Execution.

Zhenhua Duan, Kangkang Bu, Cong Tian, Nan Zhang

Browse the full COCOON paper archive.