(1) Официальный прием, используемый для доказать математически, что компьютерная программа удовлетворяет его указанный requirements.~(2) A доказательство того, что полученные в результате применения техники (1).