Уговор ⟦Т1⟧ је неискључив и ⟦Т0⟧ остаје опционо.

Уговор ⟦Т1⟧ је неискључив и ⟦Т0⟧ остаје опционо. Овај верификовани развој утиче на избор модела, дизајн производа или ⟦Т2⟧ операције. Организације треба да упореде тврдњу добављача са документованим понашањем у сопственом току рада. Тимови би требало да тестирају репрезентативне задатке, штите осетљиве податке и мере тачност, кашњење, трошкове и потребе за људским прегледом пре широког увођења.