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
Volume:9984
Year:2016
Pages:101-117
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)},
    year       = {2016},
    month      = {November},
    editor     = {Martin Fr{\"{a}}nzle and Deepak Kapur and Naijun Zhan},
    publisher  = {Springer},
    series     = {LNCS},
    volume     = {9984},
    doi        = {10.1007/978-3-319-47677-3_7},
    pages      = {101--117}
}