Descrição:

Compreender os desafios científicos e tecnológicos associados à análise de software. Visão abrangente às diferentes abordagens dos métodos de análise que conduzem a software fiável. Capacidade de utilizar métodos formais para estabelecer propriedades de programas Proficiência no uso de diferentes ferramentas de verificação de software.