Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving | IEEE Conference Publication | IEEE Xplore