Program
Verification
Book

PV1 ⊧ RanKcomputes termination and worst case computational complexity

Links

https://compsys-tools.ens-lyon.fr/rank/index.php (try online)

Related papers

Rank: A Tool to Check Program Termination and Computational Complexity

ProVerB specific

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

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