–
Sala P3.10, Pavilhão de Matemática
Gabriela Barros, Instituto Superior Técnico
Introdução a lógica temporal linear. Verificação em alloy. Case study usando o sistema alloy na verificação do programa de uma aeronave.