Proving Non-Termination via Loop Acceleration

Piscataway, NJ / IEEE (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design (FMCAD 2019) : San Jose, California, USA, October 22-25, 2019 / FMCAD 19 ; edited by Clark Barrett and Jin Yang ; in cooperation with: ACM Special Interest Group on Design Automation, ACM Special Interest Group on Software Engineering ; technical co-sponsorship of IEEE
Seite(n): 221-230

Autorinnen und Autoren

Autorinnen und Autoren

Frohn, Florian
Giesl, Jürgen