(1) A hivatalos eljárás bizonyítani matematikailag, hogy a számítógépi program megfelel-e a megadott requirements.~(2) egy igazolást arról, hogy a következménye, hogy az (1) a technika alkalmazásával.