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.

Analyzing Program Termination and Complexity Automatically with AProVE | Researchclopedia

Back to research

Analyzing Program Termination and Complexity Automatically with AProVE

2016124 citationsJournal Articlegreen Open Access

Authors

Jürgen Giesl · RWTH Aachen University

Cornelius Aschermann · RWTH Aachen University

Marc Brockschmidt · Microsoft Research (United Kingdom)

Fabian Emmes · RWTH Aachen University

Florian Frohn · RWTH Aachen University

Carsten Fuhs · Birkbeck, University of London

Topics & Keywords

Logic, programming, and type systems Formal Methods in Verification Security and Verification in Computing

UN Sustainable Development Goals

Industry, innovation and infrastructure

Publication Details

Published in: Journal of Automated Reasoning

Volume 58, Issue 1, pp. 3-31

DOI: 10.1007/s10817-016-9388-y

Field-Weighted Citation Impact: 20.89

RWTH Aachen University

Carsten Otto · RENA Technologies (Germany)

Martin Plücker · 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