EA06: Szoftverek modellellenőrzése