Comparison of Implicit Path Enumeration and Model Checking Based WCET Analysis.

Benedikt Huber Martin Schoeberl

Published in: WCET (2009)

Keyphrases

model checking
temporal logic
dynamic analysis
formal verification
model checker
automated verification
search algorithm
formal specification
temporal properties
reachability analysis
finite state machines
finite state
static analysis