TERMINATOR

swMATH6692MaRDI QIDQ18774FDOQ18774

Author name not available (Why is that?)

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

Described by source

• Symbolic termination analysis of solvable loops

Cited In (7)

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

This page was built for software: TERMINATOR