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

Application domain/field

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.

Links

Online web interface: http://costa.fdi.ucm.es/lober

Related papers

https://doi.org/10.1007/978-3-030-81688-9_40 (CAV '21)

Last publication date

15 July 2021

Related tools

Compared to: LoAT

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.