Abstract Interpretation of FIFO Replacement
From MaRDI portal
Publication:3392924
DOI10.1007/978-3-642-03237-0_10zbMath1248.68144MaRDI QIDQ3392924
Publication date: 18 August 2009
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03237-0_10
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software
Cites Work
- Cache behavior prediction by abstract interpretation
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
- Timing predictability of cache replacement policies
- An abstract interpretation-based framework for software watermarking
- On Communicating Finite-State Machines