Sumários
Aula P14 - Verificação de programas
19 dezembro 2019, 11:00 • Jaime Ramos
Exercícios 4.1, 4.3 e 4.5 da lista de exercícios sobre verificação de programas.
Aula P14 - Verificação de programas
17 dezembro 2019, 10:30 • Jaime Ramos
Exercícios 4.1, 4.3 e 4.5 da lista de exercícios sobre verificação de programas.
Teórica #26
16 dezembro 2019, 10:30 • Carlos Caleiro
Correcção parcial de programas: exemplos de aplicação, condições invariantes. Correcção total de programas: asserções de convergência, terminação de programas e expressão variante de um ciclo (NB12).
Teórica #25
13 dezembro 2019, 10:30 • Carlos Caleiro
Correcção parcial de programas: continuação da aula anterior, condição invariante de um ciclo, correcção parcial de um ciclo inicializado, exemplos de aplicação (NB12).