Programa

Software Fiável

Mestrado Bolonha em Segurança Informática

Programa

1. Fiabilidade de sistemas de software: problemas, desafios e soluções. 2. Verificação dedutiva de programas: cálculo de Hoare. 3. JML: The Java Modeling Language. 4. ESC/Java2: The Extended Static Checker for Java. 5. Verificação automática de modelos.