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

Computing Exact Loop Bounds for Bounded Program Verification

Reviewed Paper In Proceedings
Author(s):Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, and Mana Taghdiri
In:International Symposium on Dependable Software Engineering (SETTA)
Publisher:Springer
Year:2017
Pages:147-163

BibTeX

@inproceedings{liu2017setta,
  author    = {Tianhai Liu and Shmuel S. Tyszberowicz and Bernhard Beckert and Mana Taghdiri},
  title     = {Computing Exact Loop Bounds for Bounded Program Verification},
  booktitle = {International Symposium on Dependable Software Engineering (SETTA)},
  pages     = {147--163},
  year      = {2017},
  publisher = {Springer}
}