Servicios BIM
Comprobación Model Checking y verificación del modelo
La validación y verificación formal (Model Checking) es un momento clave en el proceso BIM.
La posibilidad de realizar comprobaciones y controles de forma automática o semiautomática sobre el modelo virtual del activo permite medir de forma eficiente y con calidad los datos y requisitos definidos en las Especificaciones de Información (CI) y en el Plan de Gestión de Información (PGI).