Login / Signup

Verification of a Dynamic Channel Model using the SPIN Model Checker.

Rune Møllegaard FriborgBrian Vinter
Published in: CPA (2011)
Keyphrases
  • model checker
  • model checking
  • high level
  • orders of magnitude
  • formal methods
  • formal verification
  • artificial intelligence
  • relational databases
  • image analysis
  • object oriented
  • software engineering
  • concurrent systems