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
Citations:69 - 2 self

Document Versions

Model checking one million lines of C code –Hao Chen, Drew Dean, David Wagner — 2004 — In Proceedings of the 11th Annual Network and Distributed System Security Symposium (NDSS
Model Checking One Million Lines of C Code –Hao Chen, Drew Dean, David Wagner — 2004 — IN PROCEEDINGS OF THE 11TH ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS
Model checking one million lines of C code –Hao Chen, Drew Dean, David Wagner — 2004 — In Proceedings of the 11th Annual Network and Distributed System Security Symposium (NDSS