EA04: Részletes tervek ellenőrzése. HML és LTL modellellenőrzés.