On the Modular Integration of Abstract Semantics for WCET Analysis

DOI10.1007/978-3-319-12466-7_2zbMath1445.68037OpenAlexW251468660MaRDI QIDQ3460500

Irina Măriuca Asăvoae, Mihail Asăvoae

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_2

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

From Rewriting Logic, to Programming Language Semantics, to Program Verification

Uses Software

• Maude
• SimpleScalar

This page was built for publication: On the Modular Integration of Abstract Semantics for WCET Analysis