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.

Jelleg: 
Gyakorlati
Konzulens: 
Vörös András
TDK lehetőség: 
Nem
Megismerhető technológiák: 
.Net, C#
Állapot: 
Folyamatban