Una demostración formal de que un sistema o componente cumple con sus requisitos especificados y es aceptable para uso operacional.
Las manifestaciones formales no son necesarias para certificar un sistema.