CEGAR-Based Formal Hardware Verification: A Case Study
The SLAM project: debugging system software via static analysis