Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Computing Specification-Sensitive Abstractions for Program Verification

Reviewed Paper In Proceedings
Author(s):Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, and Mana Taghdiri
In:International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA)
Publisher:Springer
Year:2016
Pages:101-117

BibTeX

@inproceedings{Liu2016SpecSensitiveAbstractions,
  author    = {Tianhai Liu and Shmuel S. Tyszberowicz and Mihai Herda and Bernhard Beckert and Daniel Grahl and Mana Taghdiri},
  title     = {Computing Specification-Sensitive Abstractions for Program Verification},
  booktitle = {International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA)},
  pages     = {101--117},
  year      = {2016},
  publisher = {Springer}
}