Interval-Based Resource Usage Verification: Formalization and Prototype

DOI10.1007/978-3-642-32495-6_4zbMath1367.68067OpenAlexW1594742196MaRDI QIDQ3167526

Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo, Pedro Lopez-Garcia

Publication date: 2 November 2012

Published in: Foundational and Practical Aspects of Resource Analysis (Search for Journal in Brave)

Full work available at URL: http://oa.upm.es/14579/

zbMATH Keywords

cost analysisresource usage analysisresource usage verificationprogram verification and debugging

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption

Uses Software

• Ciao
• CiaoPP

This page was built for publication: Interval-Based Resource Usage Verification: Formalization and Prototype