Verificação de Programas / Program Verification - CC4085
2024-2025

Aulas/Classes:
Thursdays 16h-19h (30m), Room FC6140
Horário de atendimento de dúvidas/ Office hours:
Tuesdays 9.30-11.00 or Fridays 1400-1500 room 1.20 (by appointment)
Destaque/Highlights
Trabalhos práticos/Assignments
27/03- Lógica de Hoare e geração de obrigações de prova/ Hoare Logic and proof obligation generators
15/05 - Correção de programas usando uma ferramenta de prova/ Correction of programs using a proof framework (Dafny)
12/06- Demonstradores automáticos SAT-SMT/ SAT-SMT solvers
15/05 - Correção de programas usando uma ferramenta de prova/ Correction of programs using a proof framework (Dafny)
12/06- Demonstradores automáticos SAT-SMT/ SAT-SMT solvers