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).