Model Checking I

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

Modelling sequential and concurrent systems in Promela. Specification of properties with assertions and verification with Spin.

Exercises solved in class: 5.3, 5.4, 5.5