Concepedia

Termination Proofs

Termination Proofs is a formal method in program verification that belongs to the class of proof techniques in termination analysis and specifically establishes that a program or computational process will inevitably reach a final state in finite time under all valid execution paths.

236

Publications

10.7K

Citations

342

Authors

190

Institutions

Publications per year

2017–2026

17

Variants

Termination Proof

Parents

Publications

236

Proving termination with multiset orderings

Nachum Dershowitz, Zohar Manna · Communications of the ACM · 1979 · 540 citations · Full text

, , +12

Proofs of Networks of Processes

Jayadev Misra, K. Mani Chandy · IEEE Transactions on Software Engineering · 1981 · 497 citations

, , +16

The size-change principle for program termination

Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram · 2001 · 379 citations · Full text

, , +16

Termination proofs for systems code

Byron Cook, Andreas Podelski, Andrey Rybalchenko · ACM SIGPLAN Notices · 2006 · 322 citations

, , +16

Derivation of a termination detection algorithm for distributed computations

Edsger W. Dijkstra, W. H. J. Feijen, A. J. M. van Gasteren · Information Processing Letters · 1983 · 303 citations

, , +11

1–5 of 236

Authors

342

  1. JG
    Jürgen Giesl

    RWTH Aachen University, Germany

    11 publications · 536 citations

    11

    h-index

  2. SL
    Salvador Lucas

    Universitat Politècnica de València, Spain

    10 publications · 305 citations

    10

    h-index

  3. BC
    Byron Cook

    Microsoft Research (United Kingdom), United Kingdom

    10 publications · 940 citations

    10

    h-index

  4. AR
    Andrey Rybalchenko

    Max Planck Institute for Informatics, Germany

    8 publications · 1.4K citations

    8

    h-index

  5. PS
    Peter Schneider–Kamp

    University of Southern Denmark, Denmark

    8 publications · 368 citations

    8

    h-index

1–5 of 342

Institutions

190

  1. RWTH Aachen University

    Aachen, Germany

    13 h-index

    40 publications

    2.2K citations

  2. Universitat Politècnica de València

    Valencia, Spain

    11 h-index

    17 publications

    435 citations

  3. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    11 h-index

    20 publications

    870 citations

  4. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    11 h-index

    13 publications

    1.1K citations

  5. Centre National de la Recherche Scientifique

    Paris, France

    11 h-index

    23 publications

    1.1K citations

  6. Max Planck Institute for Informatics

    Saarbrücken, Germany

    9 h-index

    17 publications

    2.4K citations

  7. University of Southern Denmark

    Odense, Denmark

    8 h-index

    8 publications

    368 citations

  8. Stanford University

    Stanford, United States

    8 h-index

    10 publications

    1.4K citations

1–8 of 190

Venues

  1. Journal of Automated Reasoning

    11 publications · 425 citations

    11

    h-index

  2. 10

    h-index

  3. ACM SIGPLAN Notices

    10 publications · 692 citations

    10

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 10 publications · 178 citations

    10

    h-index

  5. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 8 publications · 224 citations

    8

    h-index

1–5