What to Verify

• Locks
  • IPC state
  • Wait state
  • Object state
• Wait state depenencies
  • Capture, release
• State Transitions