A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification

DOI10.4230/LIPIcs.ICLP.2010.104zbMath1237.68045OpenAlexW1566466791MaRDI QIDQ2883083

Francisco Bueno, Luthfi Darmawan, Pedro Lopez-Garcia

Publication date: 11 May 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_2409.html

zbMATH Keywords

cost analysiscomplexity analysisresource usage analysisprogram verification and debugging

Mathematics Subject Classification ID

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

Related Items (2)

A General Framework for Static Cost Analysis of Parallel Logic Programs ⋮ Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption

Uses Software

• Ciao
• CiaoPP
• ASTREE

This page was built for publication: A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification