Abstract Interpretation with Applications to Timing Validation

DOI10.1007/978-3-540-70545-1_6MaRDI QIDQ3512479zbMATH OpenOpenAlexFDO

Authors Reinhard Wilhelm, Björn Wachter

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Static timing analysis -- what is special?
• Abstract interpretation
• Correct Hardware Design and Verification Methods
• Model Checking Software
• scientific article; zbMATH DE number 1953018

Cites work

• scientific article; zbMATH DE number 3485178 (Why is no real title available?)
• scientific article; zbMATH DE number 2080778 (Why is no real title available?)
• A theory of timed automata
• Analysis and verification of real-time systems using quantitative symbolic algorithms
• Cache behavior prediction by abstract interpretation
• Cache behavior prediction by abstract interpretation
• Computer Aided Verification
• Monotone data flow analysis frameworks
• Precise widening operators for convex polyhedra
• Ranking Abstractions
• The octagon abstract domain

Cited in

(5)

• Correct Hardware Design and Verification Methods
• Static timing analysis -- what is special?
• Toward compact abstractions for processor pipelines
• On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework
• A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis

This page was built for publication: Abstract Interpretation with Applications to Timing Validation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3512479)