Login / Signup
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