A Novel Approach for Bounded Model Checking Through Full Parallelism.

Debao Sang, Jing Liu, Haiying Sun, Jin Xu, Jiexiang Kang

Browse the full QRS paper archive.