Modellek ellenőrzése

Semester:

Spring 2015

Modellek ellenőrzése, alapfogalmak, statikus ellenőrzés, tesztelés. Kitekintés jelleggel: formális verifikáció. A teszt fedettségtől (63. fólia) kezdve az anyagot gyakorlaton folytatjuk.