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
Papers related to Automatic predicate abstraction of C programs