CS-C2160 - Theory of Computation, 12.01.2021-14.04.2021
Kurssiasetusten perusteella kurssi on päättynyt 14.04.2021 Etsi kursseja: CS-C2160
Lecture 12. Elements of program verification
Suorituksen vaatimukset
1. Programs as state transformers.
2. Specification and correctness of programs: weak and strong correctness, proving weak correctness via loop invariants. Establishing strong correctness.