Modellek ellenőrzése: statikus analízis, tesztelés, formális modellellenőrzés (model checking).
Jegyzet: A4, A5.
