Computing Specification-Sensitive Abstractions for Program Verification

Reviewed Paper In Proceedings

Author(s):Tianhai Liu, Shmuel Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, and Mana Taghdiri
In:Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016)
Publisher:Springer
Series:LNCS 9984
Year:2016
Pages:101-117
URL:http://dx.doi.org/10.1007/978-3-319-47677-3_7
DOI:10.1007/978-3-319-47677-3_7

BibTeX

@inproceedings{LiuTyszberowiczEA2016,
  author       = {Tianhai Liu and Shmuel Tyszberowicz and Mihai Herda and
                  Bernhard Beckert and Daniel Grahl and Mana Taghdiri},
  title        = {Computing Specification-Sensitive Abstractions for Program
                  Verification},
  booktitle    = {Second International Symposium on Dependable
                  Software Engineering: Theories, Tools, and Applications
                  (SETTA 2016)},
  editor       = {Martin Fr{\"{a}}nzle and Deepak Kapur and Naijun Zhan},
  publisher    = {Springer},
  series       = {LNCS 9984},
  url          = {http://dx.doi.org/10.1007/978-3-319-47677-3_7},
  doi          = {10.1007/978-3-319-47677-3_7},
  pages        = {101--117},
  year         = {2016},
  month        = oct
}