Sumários
Model Checking II
10 Novembro 2021, 16:30 • Antónia Lopes
Model Checking
- Modelling concurrent programs in Promela
- The critical section problem
- Synchronization
- Termination
- Linear Temporal Logic
- Verification with Linear Temporal Logic in Spin
Exercises on programming classes in Dafny
3 Novembro 2021, 18:30 • Antónia Lopes
Exercises4 (Dafny&Classes): 1, 2,3
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
Exercises on programming classes in Dafny
3 Novembro 2021, 15:00 • Antónia Lopes
Exercises4 (Dafny&Classes): 1, 2,3