(1) Una garantía escrita de que un sistema o componente cumple con sus requisitos especificados y es aceptable para uso operacional. Por ejemplo, una autorización por escrito que un sistema es seguro y está permitido operar en una environment.~(2) definida una demostración formal que un sistema o componente cumple con sus requisitos especificados y es aceptable para operaciones use.~(3) el proceso de confirmación de que un sistema o componente cumple con sus requisitos especificados y es aceptable para uso operacional.