Model Checking III

7 Dezembro 2022, 16:30 • Antónia Lopes

Modelling different protocols in Promela and verify properties in LTL with Spin.

Solved exercises: 5.11, 5.13