|
| attribute |
value |
| name |
irankfinder_lin! |
| 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 |
| uploaded |
2023-02-15 06:09:45.0 |
| disk size |
245.79 MB |
| build status |
uploaded built |
|
