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

Berlin, Heidelberg / Springer Berlin Heidelberg (2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

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
Seite(n): 350-354

Autorinnen und Autoren

Autorinnen und Autoren

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