Model Checking II

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

Modelling sequential and concurrent systems in Promela. Specification of properties with assertions and linear temporal logic and their verification with Spin.