Model Checking I

18 Novembro 2016, 16:30 • Antónia Lopes

• Introduction
• Reactive vs Transformational Systems
• Modelling
  • Transition Systems
  • Interleaving model
  • Linear and branching semantic