Modellek analízise: modellellenőrzés, programverifikáció és szimuláció

Semester: 
2016. ősz

A viselkedésmodellek és programok verifikációjának megközelítései példákkal. A dinamikus és statikus, ill. kimerítő és szúrópróbaszerű ellenőrzés különbségei. Modellellenőrzés fogalma és nehézségei. Az UPPAAL ezsköz bemutatása egy egyszerű példán keresztül.

Viselkedésmodell szimulációjának célja, szerepe, nehézségei. Folyamatmodell szimulációja versengéssel. Szimulációs algoritmusok.