Model-checking II

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

• Modelling concurrent systems with Promela
  • Shared memory
  • Synchronous communication
  • Asynchronous communication with reliable and lossy channels
  • Semaphores