Demonstração da coerência do programa com os objectivos

O programa da UC incide sobre algumas das técnicas de verificação formal e ferramentas que melhor ilustram o estado da arte da verificação formal. Dado que a utilização destas ferramentas envolve o conhecimento dos modelos formais standard para representação de sistemas sequenciais, concorrentes e reativos, e da lógica para descrever as suas propriedades, estes estão incluídos nos conteúdos programáticos.