iRankFinder

swMATH43879MaRDI QIDQ1350238FDOQ1350238

Author name not available (Why is that?)

Official website: http://irankfinder.loopkiller.com:8081/

Source code repository: https://github.com/costa-group/iRankFinder

Cited In (5)

• 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
• TPDB
• Synthesizing ranking functions for loop programs via SVM

This page was built for software: iRankFinder