description |
iRankFinder: a termination analysis tool based on Ranking Functions for integer transitions systems.
It does control flow refinement by Partial Evaluation.
Nontermination looking for Monotonic Recurrent Sets using a Multiphase ranking function algorithm.
Author: Jesús J. Doménech
Supervisor: Samir Genaim
Institution: Complutense University of Madrid |