Proving Termination of Programs Automatically with AProVE

Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephan Swiderski, René Thiemann

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationAutomated Reasoning : Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14)
EditorsStéphane Demri, Deepak Kapur, Christoph Weidenbach
Number of pages8
PublisherSpringer
Publication date2014
Pages184-191
ISBN (Print)978-3-319-08586-9
ISBN (Electronic)978-3-319-08587-6
DOIs
Publication statusPublished - 2014
EventInternational Joint Conference on Automated Reasoning - Vienna, Austria
Duration: 19. Jul 201422. Jul 2014
Conference number: 7

Conference

ConferenceInternational Joint Conference on Automated Reasoning
Number7
CountryAustria
CityVienna
Period19/07/201422/07/2014
SeriesLecture Notes in Computer Science
Volume8562
ISSN0302-9743

Cite this

Giesl, J., Brockschmidt, M., Emmes, F., Frohn, F., Fuhs, C., Otto, C., ... Thiemann, R. (2014). Proving Termination of Programs Automatically with AProVE. In S. Demri, D. Kapur, & C. Weidenbach (Eds.), Automated Reasoning: Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14) (pp. 184-191). Springer. Lecture Notes in Computer Science, Vol.. 8562 https://doi.org/10.1007/978-3-319-08587-6_13
Giesl, Jürgen ; Brockschmidt, Marc ; Emmes, Fabian ; Frohn, Florian ; Fuhs, Carsten ; Otto, Carsten ; Plücker, Martin ; Schneider-Kamp, Peter ; Ströder, Thomas ; Swiderski, Stephan ; Thiemann, René. / Proving Termination of Programs Automatically with AProVE. Automated Reasoning: Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14). editor / Stéphane Demri ; Deepak Kapur ; Christoph Weidenbach. Springer, 2014. pp. 184-191 (Lecture Notes in Computer Science, Vol. 8562).
@inproceedings{43a96a66dfd8426fb01e741fc99358ae,
title = "Proving Termination of Programs Automatically with AProVE",
author = "J{\"u}rgen Giesl and Marc Brockschmidt and Fabian Emmes and Florian Frohn and Carsten Fuhs and Carsten Otto and Martin Pl{\"u}cker and Peter Schneider-Kamp and Thomas Str{\"o}der and Stephan Swiderski and Ren{\'e} Thiemann",
year = "2014",
doi = "10.1007/978-3-319-08587-6_13",
language = "English",
isbn = "978-3-319-08586-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "184--191",
editor = "St{\'e}phane Demri and Deepak Kapur and Christoph Weidenbach",
booktitle = "Automated Reasoning",
address = "Germany",

}

Giesl, J, Brockschmidt, M, Emmes, F, Frohn, F, Fuhs, C, Otto, C, Plücker, M, Schneider-Kamp, P, Ströder, T, Swiderski, S & Thiemann, R 2014, Proving Termination of Programs Automatically with AProVE. in S Demri, D Kapur & C Weidenbach (eds), Automated Reasoning: Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14). Springer, Lecture Notes in Computer Science, vol. 8562, pp. 184-191, International Joint Conference on Automated Reasoning, Vienna, Austria, 19/07/2014. https://doi.org/10.1007/978-3-319-08587-6_13

Proving Termination of Programs Automatically with AProVE. / Giesl, Jürgen; Brockschmidt, Marc; Emmes, Fabian; Frohn, Florian; Fuhs, Carsten; Otto, Carsten; Plücker, Martin; Schneider-Kamp, Peter; Ströder, Thomas; Swiderski, Stephan; Thiemann, René.

Automated Reasoning: Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14). ed. / Stéphane Demri; Deepak Kapur; Christoph Weidenbach. Springer, 2014. p. 184-191 (Lecture Notes in Computer Science, Vol. 8562).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

TY - GEN

T1 - Proving Termination of Programs Automatically with AProVE

AU - Giesl, Jürgen

AU - Brockschmidt, Marc

AU - Emmes, Fabian

AU - Frohn, Florian

AU - Fuhs, Carsten

AU - Otto, Carsten

AU - Plücker, Martin

AU - Schneider-Kamp, Peter

AU - Ströder, Thomas

AU - Swiderski, Stephan

AU - Thiemann, René

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-08587-6_13

DO - 10.1007/978-3-319-08587-6_13

M3 - Article in proceedings

SN - 978-3-319-08586-9

T3 - Lecture Notes in Computer Science

SP - 184

EP - 191

BT - Automated Reasoning

A2 - Demri, Stéphane

A2 - Kapur, Deepak

A2 - Weidenbach, Christoph

PB - Springer

ER -

Giesl J, Brockschmidt M, Emmes F, Frohn F, Fuhs C, Otto C et al. Proving Termination of Programs Automatically with AProVE. In Demri S, Kapur D, Weidenbach C, editors, Automated Reasoning: Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14). Springer. 2014. p. 184-191. (Lecture Notes in Computer Science, Vol. 8562). https://doi.org/10.1007/978-3-319-08587-6_13