Okoz egy számítógépes program hoz helyesen folytatódik a végrehajtás a használata után állapotának és eredményeinek rögzített egy ellenőrzőpont.