(1) O garanţie scrisă că un sistem sau o componentă respectă cerințele sale specificate și acceptabilă pentru utilizarea operațională. De exemplu, o autorizaţie scrisă că un sistem de computer este sigur şi este permis să funcţioneze într-o environment.~(2) definită o demonstraţie formală că un sistem sau o componentă respectă cerințele sale specificate și acceptabilă pentru operaționale use.~(3) procesul de confirmare că un sistem sau o componentă respectă cerințele sale specificate și acceptabilă pentru utilizarea operațională.