Modellellenőrző módszerek és algoritmusok összehasonlítása, mérési kampányok tervezése

A tanszéken fejlesztett PDN modellellenőrző keretrendszert még nem mértük össze nagyobb benchmark modellhalmazokon a versenytársakkal. A hallgató feladata lehetővé tenni a modellellenőrzési versenyen futtatott modellek PDN-ben való futtatását, és összehasonlító mérések végzése más modellellenőrző eszközökkel.