LoAT

swMATH23213MaRDI QIDQ34997FDOQ34997

Author name not available (Why is that?)

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 (6)

• 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
• Lower bounds for runtime complexity of term rewriting
• A Calculus for Modular Loop Acceleration

This page was built for software: LoAT