Model Checking One Million Lines of C Code.

Hao Chen, Drew Dean, David A. Wagner

Browse the full NDSS paper archive.