A Novel Approach for Bounded Model Checking Through Full Parallelism. - Debao Sang; Jing Liu 012; Haiying Sun; Jin Xu 002; Jiexiang Kang (QRS, 2022)