| TDDB09 | Formal Program Development, 4,5 ECTS-points /Formell programutvecklingsmetodik/ Advancement level: D | |
| Aim: To study formal methods the systematic development and verification of software. In particular methods based on axiomatic semantics.Course content: Axiomatics semantic; partial and total correctness; predicate logic; pre- and postconditions; predicate transformers; goal-oriented programming; invariants and bound functions; examples. | ||
| UPG1 | , 3 p. | |