Verificação Formal de Software - CC4008
2018-2019
Horário de atendimento de dúvidas
6a 12-13 e 17-18 Gab. 1.20 (enviar email antes).
Destaque
Trabalhos práticos
29/03 - Sistemas de transição e Propriedades Temporais lineares
26/04 -Lógicas LTL e CTL.
17/05- Implementação da modelação e teste de propriedades/ ou implementação de algoritmos. Algoritmo de model checking CTL
13/06- Lógica de Hoare e geração de obrigações de prova
26/04 -Lógicas LTL e CTL.
17/05- Implementação da modelação e teste de propriedades/ ou implementação de algoritmos. Algoritmo de model checking CTL
13/06- Lógica de Hoare e geração de obrigações de prova
Eventos
