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 Tyszberowicz, Bernhard Beckert, and Mana Taghdiri
In:International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2017)
Publisher:Springer
Series:LNCS 10606
Year:2017
Pages:147-163

BibTeX

@inproceedings{LiuTyszberowiczBeckertTaghdiri2017,
  title     = {Computing Exact Loop Bounds for Bounded Program Verification},
  author    = {Tianhai Liu and Shmuel Tyszberowicz  and Bernhard Beckert and 
               Mana Taghdiri},
  booktitle = {International Symposium on Dependable Software Engineering:
               Theories, Tools, and Applications (SETTA 2017)},
  pages     = {147--163},
  series    = {LNCS 10606},
  publisher = {Springer},
  year      = {2017}
}