(1) Rakstisku garantiju, ka sistēma vai komponents atbilst norādītajām prasībām un ir pieņemams ekspluatācijas vajadzībām. Piemēram, rakstisks pilnvarojums, ka datorizētās sistēmas ir droša un ir atļauts darboties noteiktā environment.~(2) formālu demonstrācija, ka sistēma vai komponents atbilst norādītajām prasībām un ir pieņemama ekspluatācijas process, kas apliecina, ka sistēma vai komponents atbilst norādītajām prasībām un ir pieņemams operatīvās izmantošanas use.~(3).