.Net programok ellenőrzése

A twente-i egyetemen fejlesztett MoonWalker eszköz egy szoftver modell ellenőrző ( http://wwwhome.cs.utwente.nl/~ruys/moonwalker/ )

A hallgató feladata elkészíteni egy teszkörnyezetet, melyben kipróbálható az eszköz, és megvizsgálni a tulajdonságait, továbbá a benne alkalmazott algoritmusokat. A hallgató feladata továbbá a hozzá kapcsolódó irodalom feltérképezése, és a szoftver modellellenőrzés áttekintése.