Login / Signup

NuSMV 2: An OpenSource Tool for Symbolic Model Checking.

Alessandro CimattiEdmund M. ClarkeEnrico GiunchigliaFausto GiunchigliaMarco PistoreMarco RoveriRoberto SebastianiArmando Tacchella
Published in: CAV (2002)
Keyphrases
  • symbolic model checking
  • model checking
  • partial observability
  • formal verification
  • binary decision diagrams
  • symbolic representation
  • model checker
  • temporal logic
  • web services
  • planning domains