EA04: Hatékony technikák modellellenőrzéshez