Este documento considera la verificación de la diagnosticabilidad de patrones de fallas descentralizados para sistemas de eventos discretos, donde el patrón se modela como un autómata finito cuyo lenguaje aceptado es el objetivo a diagnosticar. Introducimos una noción de codiagnosticabilidad para formalizar la diagnosticabilidad descentralizada del patrón de falla, que requiere que el patrón sea detectado por uno de los observadores locales externos dentro de un retraso acotado. Con este fin, se propone una estructura, llamada verificador, para verificar la codiagnosticabilidad del sistema y el patrón de falla. Estudiando un ciclo indeterminado del verificador, se proporcionan condiciones suficientes y necesarias para probar la codiagnosticabilidad. Se muestra que el método propuesto requiere tiempo polinómico como máximo. Además, presentamos un enfoque para extender la estructura del verificador propuesto para que pueda aplicarse a casos centralizados.