Login / Signup
METAMOC: Modular Execution Time Analysis using Model Checking.
Andreas Engelbredt Dalsgaard
Mads Chr. Olesen
Martin Toft
René Rydhof Hansen
Kim Guldstrand Larsen
Published in:
WCET (2010)
Keyphrases
</>
model checking
temporal logic
formal verification
finite state machines
formal specification
symbolic model checking
alternating time temporal logic
verification method
concurrent systems
automated verification
linear temporal logic
abstract interpretation