validation model 0 modelo de validación Versión detallada de una especificación o implementación, que puede incluir partes de su entorno y que se utiliza para realizar la validación formal. 2004-06-09