Programa

Software Fiável

Curso de Especialização em Informática

Mestrado Bolonha em Engenharia Informática

Mestrado Bolonha em 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.