LoAT

MaRDI QIDQ34997swMATHFDO

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

(14)

• 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
• FLATA
• PURRS
• TERMINATOR
• TPDB
• KITTeL
• FAST
• CAMPY
• iRankFinder
• Lower bounds for runtime complexity of term rewriting

This page was built for software: LoAT