WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction.

Armel Mangean Jean-Luc Béchennec Mikaël Briday Sébastien Faucou

Published in: VECoS (2017)

Keyphrases

model checking
temporal logic
dynamic analysis
finite state
temporal properties
finite state machines
formal verification
software engineering
static analysis
reactive systems
automated verification
abstract interpretation
computation tree logic