iRankFinder

MaRDI QIDQ1350238swMATHFDO

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