Sumários
Oral Essay: Student presentations
13 Dezembro 2023, 18:30 • Antónia Lopes
Oral Essay: Student presentations
Oral Essay: Student presentations
13 Dezembro 2023, 16:30 • Antónia Lopes
Oral Essay: Student presentations
Model Checking IV
6 Dezembro 2023, 16:30 • Antónia Lopes
Model Checking IV
- How Spin searches the space state
- Optimizing the performance of verifications
Model Checking with Spin
29 Novembro 2023, 18:30 • Antónia Lopes
- Exercises5 (Spin): 6 (revisited), 10,11