Modellek ellenőrzése

Semester:

Fall 2015

Az előadáson áttekintettük a modellek ellenőrzésének szerepét és módszereit (statikus ellenőrzés, szimbolikus végrehajtás, stb.), elsősorban folyamat- és állapot alapú modelleken.