@inproceedings{cksy2005,
  title = "{SATABS}: {SAT}-based Predicate Abstraction for {ANSI-C}",
  author = "Clarke, Edmund and Kroening, Daniel and Sharygina, Natasha and Yorav, Karen",
  year = "2005",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005)",
  isbn = "3-540-25333-5",
  pages = "570--574",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "3440",
}