Verificación de la Coherencia Secuencial en Multiprocesadores de Memoria Compartida mediante Comprobación de Modelos