Login / Signup
Formal Verification of Loop Bound Estimation for WCET Analysis.
Sandrine Blazy
André Maroneze
David Pichardie
Published in:
VSTTE (2013)
Keyphrases
</>
formal verification
statistical analysis
lower bound
source code
model checking
bounded model checking