Modellellenőrzés, programverifikáció

Semester:

2013. ősz

A viselkedésmodellek statikus és dinamikus ellenőrzése. A modellellenőrzés célja, bemenete és kimenetei. A program mint viselkedésmodell analízise.