The SLAM project: debugging system software via static analysis.

Thomas Ball, Sriram K. Rajamani

Browse the full POPL paper archive.