Una parte del proceso de compilación en la que se comprueba código para ajustarla a un conjunto específico de reglas definidas para permitir la prueba de ciertos requisitos de seguridad. Common language runtime puede verificar el lenguaje intermedio de Microsoft (MSIL).