iRankFinder
From MaRDI portal
Software:1350238
No author found.
Source code repository: https://github.com/costa-group/iRankFinder
Related Items (4)
Synthesizing ranking functions for loop programs via SVM ⋮ Proving non-termination and lower runtime bounds with \textsf{LoAT} (system description) ⋮ Automatic complexity analysis of integer programs via triangular weakly non-linear loops ⋮ \textsc{LTL} falsification in infinite-state systems
This page was built for software: iRankFinder
