Modellek elllenőrzésének céljai, módszerek. Statikus analízis, tesztelés, formális ellenőrzés (dupla előadás), CFA, teljesen specifkált/determinisztikus modellek. (Frissült:04.08)
Kapcsolódó jegyzet: A4, A5.
