Abstract Interpretation with Applications to Timing Validation
From MaRDI portal
Publication:3512479
DOI10.1007/978-3-540-70545-1_6zbMath1155.68449OpenAlexW1599545538MaRDI QIDQ3512479
Björn Wachter, Reinhard Wilhelm
Publication date: 15 July 2008
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70545-1_6
Cites Work
- Unnamed Item
- Unnamed Item
- The octagon abstract domain
- Monotone data flow analysis frameworks
- A theory of timed automata
- Cache behavior prediction by abstract interpretation
- Analysis and verification of real-time systems using quantitative symbolic algorithms
- Precise widening operators for convex polyhedra
- Cache behavior prediction by abstract interpretation
- Computer Aided Verification
- Ranking Abstractions