A Hoare Logic for Energy Consumption Analysis

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

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

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

03B70: Logic in computer science

68M20: Performance evaluation, queueing, and scheduling in the context of computer systems

68M07: Mathematical problems of computer architecture

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

Uses Software

• COSTA
• ResAna