Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving.

Shujun Deng, Weimin Wu, Jinian Bian

Browse the full CSCWD paper archive.