Login / Signup

p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper).

Michael BaldamusJochen Schröder-Babo
Published in: SPIN (2001)
Keyphrases
  • symbolic model checking
  • model checking
  • partial observability
  • utility function
  • formal verification
  • search algorithm
  • search space
  • dynamic environments