Verificación formal
La verificación formal es el proceso utilizado para demostrar que una pieza de software o hardware funciona de acuerdo con su especificación. La verificación formal utiliza una prueba matemática. Los sistemas, como los utilizados en los robots o los aviones, deben probarse correctamente antes de que puedan utilizarse.