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

Stacks Image 60

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

RapidWeaver Icon

Made in RapidWeaver