Login / Signup

Formal Verification of Loop Bound Estimation for WCET Analysis.

Sandrine BlazyAndré MaronezeDavid Pichardie
Published in: VSTTE (2013)
Keyphrases
  • formal verification
  • statistical analysis
  • lower bound
  • source code
  • model checking
  • bounded model checking