Modellellenőrzés és programverifikáció
Semester:
Fall 2015
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.
