Sign in

Distributed MAP in the SpinJa Model Checker

Stefan VijzelaarKees VerstoepWan J. FokkinkHenri 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