Ascertaining uncertainty for efficient exact cache analysis

DOI10.1007/978-3-319-63390-9_2zbMath1494.68063arXiv1709.10008OpenAlexW2761823169MaRDI QIDQ2164207

Jan Reineke, Valentin Touzeau, David Monniaux, Claire Maiza

Publication date: 12 August 2022

Full work available at URL: https://arxiv.org/abs/1709.10008

zbMATH Keywords

worst-case execution time (WCET)cache analysisabstract cache statesclassical abstract interpretationWCET analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

The complexity gap in the static analysis of cache accesses grows if procedure calls are added

This page was built for publication: Ascertaining uncertainty for efficient exact cache analysis