|
| attribute |
value |
| name |
irankfinder v1.2 |
| description |
iRankFinder: a termination analysis tool based on Ranking Functions for integer transitions systems. it does control flow refinement via Partial Evaluation.
Author: Jesús J, Doménech
Supervisor: Samir Genaim
Institution: Complutense University of Madrid |
| owner |
Jesus Domenech
|
| uploaded |
2019-03-14 05:55:14.0 |
| disk size |
119.61 MB |
| build status |
uploaded built |
|
