Model for Parallel Verification of Programs. - Pei He; Lishan Kang; Qiongzhang Li (SNPD (3), 2007)