TERMINATOR

MaRDI QIDQ18774swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=2400793

Described by source

• Symbolic termination analysis of solvable loops

Cited in

(7)

• Analyzing ultimate positivity for solvable systems
• REACH
• TPDB
• KITTeL
• Discovering non-terminating inputs for multi-path polynomial programs
• Automatic complexity analysis of integer programs via triangular weakly non-linear loops
• iRankFinder

This page was built for software: TERMINATOR