Una demostración formal de que un sistema o componente cumple sus requisitos especificados y es aceptable para su uso operativo .
Hay inspecciones por separado para uso operacional y uso no operativo .