PV1 RanKcomputes termination and worst case computational complexity

C

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



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