Shrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah. Property Checking Array Programs Using Loop Shrinking. In Dirk Beyer 0001, Marieke Huisman, editors, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I. Volume 10805 of Lecture Notes in Computer Science, pages 213-231, Springer, 2018. [doi]
@inproceedings{KumarSVS18,
title = {Property Checking Array Programs Using Loop Shrinking},
author = {Shrawan Kumar and Amitabha Sanyal and R. Venkatesh and Punit Shah},
year = {2018},
doi = {10.1007/978-3-319-89960-2_12},
url = {https://doi.org/10.1007/978-3-319-89960-2_12},
researchr = {https://researchr.org/publication/KumarSVS18},
cites = {0},
citedby = {0},
pages = {213-231},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I},
editor = {Dirk Beyer 0001 and Marieke Huisman},
volume = {10805},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-89960-2},
}