Debao Sang

A Novel Approach for Bounded Model Checking Through Full Parallelism

Jing Liu, Haiying Sun, Jiexiang Kang, 2022, 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS).