The plan

• Basics of model checking

  • Explicit model checking
  • Symbolic model checking

• Applying model checking

  • Hardware
  • Software
    • Protocols, TCAS, …

• Counterexample checking

Previous slide

Next slide

Back to first slide

View graphic version