Model Checking II

23 Novembro 2022, 16:30 • Antónia Lopes

• Modelling concurrent programs in Promela
  • The interleaving model
  • Modelling atomicity
  • The critical section problem
  • Synchronization
  • Deadlocks and Termination
  • How assertions are verified