MAC0239 - Introdução à Lógica e Verificação de Programas (2021)

Dar ao aluno o primeiro contato com métodos formais. Introduzir conceitos básicos para a verificação formal, assim como técnicas de demonstração de corretude de programas.