Computing Exact Loop Bounds for Bounded Program Verification

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Tianhai Liu, Shmuel Tyszberowicz, Bernhard Beckert und Mana Taghdiri
In:International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2017)
Verleger:Springer
Reihe:LNCS 10606
Jahr:2017
Seiten: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}
}