Debao Sang

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Formal Verification

Data Parallelism

Parallel Computation

Linear Temporal Logic

Top Venues

Publications

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