Hensel, Jera;
Emrich, Frank;
Frohn, Florian;
Ströder, Thomas;
Giesl, Jürgen
Tools and Algorithms for the Construction and Analysis of Systems: AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs
: (Competition Contribution)
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Tools and Algorithms for the Construction and Analysis of Systems: AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs
:
(Competition Contribution)