Model Checking One Million Lines of C Code

Author(s): Hao Chen , Drew Dean, David Wagner

Download: Paper (PDF)

Date: 5 Feb 2004

Document Type: Reports

Associated Event: NDSS Symposium 2004