Model checking one million lines of c code (2004)

by Drew Dean Hao Chen, Wagner David
Venue:In Proceedings of the 11th Annual Network and Distributed System Security Symposium