@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}
}
Computing Exact Loop Bounds for Bounded Program Verification
| 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 |