(1) Ametlikku tehnika, mida kasutatakse tõendama matemaatiliselt arvutiprogrammi vastab tema määratud requirements.~(2) tõendeid, mis, kes taotlevad seda tehnikat (1).