Model Checking I

14 Novembro 2017, 18:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

• Introduction
• Sequential programming in Promela
• Verification of sequential programs