PV1 ⊧ LOBER: Lower-Bound Synthesizercomputes lower bounds of worst-cast costs

Application domain/field

• Lower bound approximation
• Cost approximation
• Worst-case cost
• Resources

Type of tool

Cost approximator?

Expected input

Format:

KoAT file

Internals

Cost approximation: Find a bound for the cost of program's executions. This is useful if you want to know things such as "the program will not exceed X amount of memory". This program specifically focuses on finding lower bounds of the worst-case cost. Uses Barcelogic, Z3.