Computer Aided Verification

DOI10.1007/B98490zbMATH Open1103.68631OpenAlexW4298302743MaRDI QIDQ5312911FDOQ5312911

Authors: Alexander Metzner 

Publication date: 25 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98490

Recommendations

• Correct Hardware Design and Verification Methods
• Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution
• Modeling control speculation for timing analysis
• Model Checking Software
• New Developments in WCET Analysis

Mathematics Subject Classification ID

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

Cited In (5)

• Scalable and precise refinement of cache timing analysis via path-sensitive verification
• Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
• Modeling control speculation for timing analysis
• Abstract Interpretation with Applications to Timing Validation
• Finding minimum and maximum termination time of timed automata models with cyclic behaviour

This page was built for publication: Computer Aided Verification

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