PAPERS

Title:Predicate Abstraction of ANSI–C Programs using SAT
Links:Document as PDF
Authors:Edmund Clarke EMail
Daniel Kroening EMail
Natasha Sharygina
Karen Yorav
Remarks:
Topics:

Bibtex:

@article{cksy2004,
  AUTHOR    = { Clarke, Edmund
                and Kroening, Daniel
                and Sharygina, Natasha
                and Yorav, Karen },
  TITLE     = { Predicate Abstraction of {ANSI--C} Programs using {SAT} },
  YEAR      = { 2004 },
  PAGES     = { 105--127 },
  JOURNAL   = { Formal Methods in System Design (FMSD) },
  VOLUME    = { 25 },
  ISSUE     = { 2--3 },
  MONTH     = { September--November },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.