Programa

Software Fiável

Mestrado Bolonha em Engenharia Informática

Mestrado Bolonha em Informática

Mestrado Bolonha em Segurança Informática

Programa

Visão geral dos métodos de fiabilidade de software e verificação formal. Verificação dedutiva de programas e o Cálculo de Hoare. A linguagem de programação Dafny. Design por contrato. Especificação de propriedade com JML (Java Modeling Language), tempo de execução e verificação estática de programas. Verificação de modelos e a ferramenta de verificação SPIN. Estudo de técnicas e ferramentas para análise e verificação de artefatos de software.