Objectivos

Mestrado Bolonha em Engenharia Informática

Mestrado Bolonha em Informática

Mestrado Bolonha em Segurança Informática

Espera-se que os alunos fiquem a conhecer algumas das principais técnicas e ferramentas que podem ser usadas para aumentar a fiabilidade dos sistemas de software. A ênfase é em técnicas e ferramentas baseadas em métodos formais para verificar código ou modelos intermédios. O uso dessas ferramentas envolve o conhecimento dos modelos formais standard para representar sistemas sequenciais, concorrentes e reativos, e de lógicas para descrever suas propriedades. Espera-se também que os alunos adquiram experiência na utilização de ferramentas como verificadores de programas e assistentes de prova e model checkers. Além disso, os alunos serão expostos aos mais recentes desenvolvimentos em métodos focados na fiabilidade de software, incluindo o papel da verificação formal na era da IA generativa. e às diferentes estratégias que levam de resultados teóricos para projetos industriais.