@inproceedings{Frohn_FMCAD2019,
TITLE = {Proving Non-Termination via Loop Acceleration},
AUTHOR = {Frohn, Florian and Giesl, J{\"u}rgen},
LANGUAGE = {eng},
ISBN = {978-0-9835678-9-9},
DOI = {10.23919/FMCAD.2019.8894271},
PUBLISHER = {IEEE},
YEAR = {2019},
DATE = {2019},
BOOKTITLE = {Formal Methods in Computer Aided Design (FMCAD 2019)},
PAGES = {221--230},
ADDRESS = {San Jose, CA, USA},
}