Model checking one million lines of C code (2004)

by H Chen, D Dean, D Wagner
Venue:Network and Distributed System Security Symposium (NDSS