Model Checking of Cache for WCET Analysis Refinement.

Valentin Touzeau Claire Maïza David Monniaux

Published in: CoRR (2017)

Keyphrases

model checking
temporal logic
formal verification
concurrent systems
reachability analysis
automated verification
abstract interpretation
knowledge base
search algorithm
heuristic search
modal logic
formal specification
dynamic analysis
verification method
bounded model checking