Model Checking I

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

• Introduction
• Modelling sequential programs in Promela
• Specifying properties with assertions in Promela
• Verifying sequential programs with Spin