Proving Non-Termination via Loop Acceleration
Frohn, Florian (Corresponding author); Giesl, Jürgen (Corresponding author)
Piscataway, NJ : IEEE (2019)
Contribution to a book, Contribution to a conference proceedings
In: 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
Page(s)/Article-Nr.: 221-230
Identifier
- DOI: 10.23919/FMCAD.2019.8894271
- RWTH PUBLICATIONS: RWTH-2019-10554