Exercises on MC with Spin

24 Novembro 2021, 15:00 • Antónia Lopes

Exercises5 (Spin): 11,12

Exercises on MC with Spin

17 Novembro 2021, 18:30 • Antónia Lopes

Exercises5 (Spin): 5, 6, 9, 10

Model Checking III

17 Novembro 2021, 16:30 • Antónia Lopes

Model Checking

• Linear Temporal Logic
  • Syntax and semantics
  • Safety and Liveness properties
  • Verification of LTL properties with Spin
• Channels in Promela
• Modelling communicating processes that exchange messages through buffered channels or use rendezvous points

Exercises on MC with Spin

17 Novembro 2021, 15:00 • Antónia Lopes

Exercises5 (Spin): 5, 6, 9, 10

Exercises about MC with Spin

10 Novembro 2021, 18:30 • Antónia Lopes

Exercises5 (Spin): 1,2,3,4