Modellellenőrzés és tesztelés: egy kombinált megközelítés szoftverek verifikálására