Title: | Predicate Abstraction of ANSI-C Programs using SAT |
---|---|
Links: | Document as PDF |
Authors: | Edmund Clarke EMail |
Daniel Kroening EMail | |
Natalia Sharygina | |
Karen Yorav | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{cksy03, AUTHOR = { Clarke, Edmund and Kroening, Daniel and Sharygina, Natalia and Yorav, Karen }, TITLE = { Predicate Abstraction of {ANSI-C} Programs using {SAT} }, BOOKTITLE = { Proc.\ of the Model Checking for Dependable Software-Intensive Systems Workshop, San-Francisco, USA }, YEAR = { 2003 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.