Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Proving Termination of Programs Automatically with AProVE

201492 citationsBook Chapter

Authors

Jürgen Giesl · RWTH Aachen University

Marc Brockschmidt · Microsoft Research (United Kingdom)

Fabian Emmes · RWTH Aachen University

Florian Frohn · RWTH Aachen University

Carsten Fuhs · University College London

Carsten Otto · RENA Technologies (Germany)

Martin Plücker ·

Topics & Keywords

Logic, programming, and type systems Formal Methods in Verification Software Testing and Debugging Techniques

UN Sustainable Development Goals

Industry, innovation and infrastructure

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/978-3-319-08587-6_13

Field-Weighted Citation Impact: 17.05

RWTH Aachen University

Peter Schneider–Kamp · University of Southern Denmark

Thomas Ströder · RWTH Aachen University

Stephanie Swiderski · interactive instruments (Germany)

René Thiemann · Universität Innsbruck

Proving Termination of Programs Automatically with AProVE | Researchclopedia