Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption

53 páginas, 19 figuras, 6 tablas.

Bibliographic Details
Authors:	López-García, Pedro, Darmawan, L., Klemen, M., Liqat, U., Bueno, F., Hermenegildo, M.V.
Format:	article
Status:	Versión enviada para evaluación y publicación
Publication Date:	2018
Country:	España
Institution:	Consejo Superior de Investigaciones Científicas (CSIC)
Repository:	DIGITAL.CSIC. Repositorio Institucional del CSIC
OAI Identifier:	oai:digital.csic.es:10261/376453
Online Access:	http://hdl.handle.net/10261/376453
Access Level:	Open access
Keyword:	Static Analysis Resource Usage Analysis and Verification Horn Clause-based Analysis and Verification Energy Consumption Program Verification and Debugging.

Description
Summary:	53 páginas, 19 figuras, 6 tablas.