A Hoare Logic for Energy Consumption Analysis

DOI10.1007/978-3-319-12466-7_6zbMath1445.68054OpenAlexW1600584807MaRDI QIDQ3460506

Bernard van Gastel, Marko van Eekelen, Rody Kersten, Paolo Parisen Toldin

Publication date: 7 January 2016

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

Full work available at URL: https://doi.org/10.1007/978-3-319-12466-7_6

Mathematics Subject Classification ID

Logic in computer science (03B70) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Mathematical problems of computer architecture (68M07) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A Hoare Logic for Energy Consumption Analysis

Uses Software

• COSTA
• ResAna

Cites Work

• A program logic for resources
• A Hoare Logic for Energy Consumption Analysis
• Amortised Resource Analysis with Separation Logic
• Polynomial Size Analysis of First-Order Shapely Functions
• Multivariate amortized resource analysis
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: A Hoare Logic for Energy Consumption Analysis