Model Checking

2 Dezembro 2016, 18:30 • Antónia Lopes

Exercises about model-checking with Spin from Problem Set 6.