Software Model Checking: Publications

Click here to download all publications in a single bibtex file

@article{dkw2008,
  title = "A Survey of Automated Techniques for Formal Software Verification",
  author = "Vijay D'Silva and Daniel Kroening and Georg Weissenbacher",
  year = "2008",
  journal = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)",
  month = "July",
  number = "7",
  pages = "1165-1178",
  publisher = "IEEE",
  url = "http://dx.doi.org/10.1109/TCAD.2008.923410",
  volume = "27",
  doi = "10.1109/TCAD.2008.923410",
}

@book{ks2008,
  title = "Decision Procedures -- an Algorithmic Point of View",
  author = "Kroening, Daniel and Strichman, Ofer",
  year = "2008",
  note = "To appear",
  publisher = "Springer",
  series = "EATCS",
}

@article{cks2007-tcs,
  title = "Verification of {Boolean} Programs with Unbounded Thread Creation",
  author = "Cook, Byron and Kroening, Daniel and Sharygina, Natasha",
  year = "2007",
  journal = "Theoretical Computer Science (TCS)",
  pages = "227--242",
  publisher = "Elsevier",
  volume = "388",
}

@inproceedings{bkossb2007-tacas,
  title = "Deciding Bit-Vector Arithmetic with Abstraction",
  author = "Bryant, Randal E. and Kroening, Daniel and Ouaknine, Joel and Seshia, Sanjit A. and Strichman, Ofer and Brady, Bryan",
  year = "2007",
  booktitle = "Proceedings of TACAS 2007",
  pages = "358--372",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4424",
}

@inproceedings{cks2006-cogent,
  title = "Accurate Theorem Proving for Program Verification",
  author = "Cook, Byron and Kroening, Daniel and Sharygina, Natasha",
  year = "2006",
  booktitle = "Proceedings of ISoLA 2004",
  pages = "96--114",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4313",
}

@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",
}

@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",
}

@inproceedings{ckl2004,
  title = "A Tool for Checking {ANSI-C} Programs",
  author = "Clarke, Edmund and Kroening, Daniel and Lerda, Flavio",
  year = "2004",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)",
  editor = "Kurt Jensen and Andreas Podelski",
  isbn = "3-540-21299-X",
  pages = "168--176",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "2988",
}