CPAchecker: A Tool for Configurable Software Verification
The SLAM project: debugging system software via static analysis