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