Sumários
P13 - Verificação de programas
14 dezembro 2017, 11:00 • Jaime Ramos
Exercícios 4.3, 4.4 e 4.5 da lista de exercícios sobre verificação de programas.
P13 - Verificação de programas
12 dezembro 2017, 11:00 • Jaime Ramos
Exercícios 4.3 e 4.4 da lista de exercícios sobre verificação de programas.
Teórica #23
11 dezembro 2017, 11:00 • Carlos Caleiro
Correcção parcial de ciclos inicializados, exemplos de aplicação; abordagem breve à correcção total de programas: asserções de convergência, terminação de programas e expressão variante de um ciclo (NB12).
P12 - Verificação de programas
7 dezembro 2017, 11:00 • Jaime Ramos
Exercícios 1.1, 1.3, 2.1 e 4.1 da lista de exercícios sobre verificação de programas.