Proving Non-Termination via Loop Acceleration

Piscataway, NJ / IEEE (2019) [Contribution to a book, Contribution to a conference proceedings]

Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design : FMCAD 2019 : October 22-25, 2019, San Jose, California, USA / Edited by Clark Barrett and Jin Yang
Page(s): 221-230


Selected Authors

Frohn, Florian
Giesl, Jürgen