Model checking one million lines of C code (2004)

by H Chen, D Dean, D Wagner
Venue:In Symp. on Network and Distributed Systems Security