@article{cksy2004,
  title = "Predicate Abstraction of {ANSI--C} Programs using {SAT}",
  author = "Clarke, Edmund and Kroening, Daniel and Sharygina, Natasha and Yorav, Karen",
  year = "2004",
  journal = "Formal Methods in System Design (FMSD)",
  month = "September--November",
  pages = "105--127",
  volume = "25",
}