Modellek ellenőrzése

Semester:

2015. ősz

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.