irankfinder v1.3.2

loading
details

attribute value
name irankfinder v1.3.2
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
owner Jesus Domenech
uploaded Jun 22 2020
disk size 173.57 MB
build status uploaded built
configurations
name description
competition no description

actions get anonymous link download