Verificación formal

Autor: Leandro Alegsa

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.



 



Buscar dentro de la enciclopedia
AlegsaOnline.com - 2020 / 2025 - License CC3