Verificação de Programas / Program Verification - CC4085
2022-2023
Horário de atendimento de dúvidas/ Office hours:
4a/wednesday: 10h-11h
6a/friday: 16h-17h
Please send email first
6a/friday: 16h-17h
Please send email first
Destaque/Highlights
Aula/Lecture 23/24 (extra)
Trabalhos práticos/Assignments
21/03- Lógica de Hoare e geração de obrigações de prova/ Hoare Logic and proof obligation generators
05/05 - Correção de programas imperativos usando uma ferramenta de prova/ Correction of imperative programs using a proof framework
07/06 - Demonstradores automáticos SAT-SMT/ SAT-SMT solvers
21/03- Lógica de Hoare e geração de obrigações de prova/ Hoare Logic and proof obligation generators
05/05 - Correção de programas imperativos usando uma ferramenta de prova/ Correction of imperative programs using a proof framework
07/06 - Demonstradores automáticos SAT-SMT/ SAT-SMT solvers