The SLAM project: debugging system software via static analysis (2002)

by T Ball, S K Rajamani
Venue:in Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’02