Distributed MAP in the SpinJa Model Checker

Stefan Vijzelaar Kees Verstoep Wan J. Fokkink Henri E. Bal

Published in: PDMC (2011)

Keyphrases

model checker
model checking
formal verification
formal methods
temporal logic
distributed systems
description language
formal specification
symbolic model checking
image processing