Automatic predicate abstraction of C programs

Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation
PLDI '01
Snowbird, Utah, USA
Association for Computing Machinery
New York, NY, USA
Pages 203-213
2001
Note(s): CEGAR, model checking
Papers: henzinger:spin:2003