Verificação Formal de Software - CC4008
2019-2020
Horário de atendimento de dúvidas
6a 14-15 e 17.30-18.30 Gab. 1.20 (enviar email antes).
Destaque
Trabalhos práticos
20/03 - Lógica de Hoare e geração de obrigações de prova
15/04 - Verificação de programas usando Dafny
15/05 - Lógicas LTL e CTL.
05/06- Implementação da modelação e teste de propriedades/ ou implementação de algoritmos de model checking
15/04 - Verificação de programas usando Dafny
15/05 - Lógicas LTL e CTL.
05/06- Implementação da modelação e teste de propriedades/ ou implementação de algoritmos de model checking
Eventos
13th IEEE International Conference on Software Testing, Verification and Validation (ICST 2020), 23-27 March, 2020, Porto, Portugal