formal verification 0 verificación formal Uso de pruebas formales para demostrar la consistencia entre la especificación de un sistema y un modelo formal. 2005-11-25