@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
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 |