AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs

Berlin, Heidelberg / Springer Berlin Heidelberg (2017) [Contribution to a book, Contribution to a conference proceedings]

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Axel Legay, Tiziana Margaria. - Part II
Page(s): 350-354



Hensel, Jera
Emrich, Frank
Frohn, Florian
Ströder, Thomas
Giesl, Jürgen