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 (11)
- 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
- PURRS
- TERMINATOR
- Ultimate Automizer
- TPDB
- KITTeL
- LoAT
- KoAT
- Synthesizing ranking functions for loop programs via SVM
This page was built for software: iRankFinder
