Model Checking I

3 Novembro 2021, 16:30 • Antónia Lopes

Model Checking

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