Program
Verification
Book

PV1 ⊧ ComPACT: Compositional and Predictable Analysis for Conditional Terminationchecks termination of a given program

Application domain/field

Termination
Termination analysis
Linear dynamical systems
Loop termination

Type of tool

Termination checker

Links

PLDI '21 Artifact: https://doi.org/10.1145/3410313

Related papers

Reflections on Termination of Linear Loops (CAV '21)
Termination analysis without the tears (PLDI '21)

Last publication date

15 July 2021

Related tools

Compared to in CAV '21 paper: 2LS, Ultimate Automizer and CPAchecker.
Compare to in the PLDI '21 paper: 2LS, Ultimate Automizer, CPAchecker and Termite.

ProVerB specific

Markdown description: view/edit
Reason for this entry: CAV 2021
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.