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
Lecture19
Classes: Thursdays 10-13 room 1.37 (Next: 16/05)
2nd assignment: deadline can be extended to Monday 13/5 and presentations on 16/5.
Classes: Thursdays 10-13 room 1.37 (Next: 16/05)
2nd assignment: deadline can be extended to Monday 13/5 and presentations on 16/5.
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