Model checking one million lines of C code (2004)

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