Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption

Pedro Lopez-Garcia, Luthfi Darmawan, Maximiliano Klemen +3

Many applications require conformance with specifications that constrain the use of resources, such as execution time, energy, bandwidth, etc. We have presented a configurable fram…