LoAT

swMATH23213MaRDI QIDQ34997FDOQ34997

Author name not available (Why is that?)

Official website: https://github.com/aprove-developers/LoAT

Source code repository: https://github.com/aprove-developers/LoAT

Described by source

• Proving non-termination and lower runtime bounds with \textsf{LoAT} (system description)

Cited In (13)

• Analyzing program termination and complexity automatically with \textsf{AProVE}
• Automatic complexity analysis of integer programs via triangular weakly non-linear loops
• Lower-bound synthesis using loop specialization and Max-SMT
• Lower runtime bounds for integer programs
• A calculus for modular loop acceleration
• PURRS
• TERMINATOR
• TPDB
• KITTeL
• FAST
• CAMPY
• iRankFinder
• Lower bounds for runtime complexity of term rewriting

This page was built for software: LoAT