Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN.

Bernard Boigelot Patrice Godefroid

Published in: FME (1996)

Keyphrases

model checking
model checker
temporal logic
finite state
temporal properties
timed automata
concurrent systems
finite state machines
static analysis
process algebra
symbolic model checking
dynamic analysis
bounded model checking
verification method
artificial intelligence
formal methods
heuristic search