Verificação de Programas / Program Verification - CC4085
2023-2024
Horário de atendimento de dúvidas/ Office hours:
Tuesdays afternoon. Please send email first
Destaque/Highlights
Trabalhos práticos/Assignments
21/3 Lógica de Hoare e geração de obrigações de prova/ Hoare Logic and proof obligation generators
8/5 Correção de programas imperativos usando uma ferramenta de prova/ Correction of imperative programs using a proof framework
6/6 Demonstradores automáticos SAT-SMT/ SAT-SMT solvers
21/3 Lógica de Hoare e geração de obrigações de prova/ Hoare Logic and proof obligation generators
8/5 Correção de programas imperativos usando uma ferramenta de prova/ Correction of imperative programs using a proof framework
6/6 Demonstradores automáticos SAT-SMT/ SAT-SMT solvers