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

Application domain/field

Type of tool

Termination checker
C Termination

Links

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

Related papers

Last publication date

15 July 2021

Related tools

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.