Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving.

Shujun Deng, Weimin Wu, Jinian Bian

Browse the full CSCWD paper archive.