Parallel Analysis with FAMVal to Speed Up Simulation-based Model Checking.

Stefan Leye Orianne Mazemondet Adelinde M. Uhrmacher

Published in: EMS (2010)

Keyphrases

model checking
temporal logic
finite state
timed automata
finite state machines
formal specification
epistemic logic
formal methods
formal verification
dynamic analysis
verification method
artificial intelligence
static analysis
pspace complete
symbolic model checking
partial order reduction