• Proving Termination of Program...

*Result*: Proving Termination of Programs Automatically with AProVE.

Title:
Proving Termination of Programs Automatically with AProVE.
Authors:
Giesl, Jürgen, Brockschmidt, Marc, Emmes, Fabian, Frohn, Florian, Fuhs, Carsten, Otto, Carsten, Plücker, Martin, Schneider-Kamp, Peter, Ströder, Thomas, Swiderski, Stephanie, Thiemann, René
Source:
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings; 2014, p184-191, 8p
Database:
Complementary Index