by Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Reference:
Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric SequencesAndreas Humenberger, Maximilian Jaroschek, Laura KovácsProceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017 (Michael A. Burr, Chee K. Yap, Mohab Safey El Din, eds.), pages 221–228, 2017, ACM.
Bibtex Entry:
@inproceedings{DBLP:conf/issac/HumenbergerJK17,
author = {Andreas Humenberger and
Maximilian Jaroschek and
Laura Kov{\'{a}}cs},
editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
title = {{Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric
Sequences}},
booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
pages = {221--228},
publisher = {{ACM}},
year = {2017},
url = {https://arxiv.org/abs/1705.02863},
doi = {10.1145/3087604.3087623}
}