El generador de pórticos genera listados detallados de comprobaciones de estados límite últimos para las correas dimensionadas. Tras comprobar las correas dimensionadas (menú Datos de obra > Edición de correas en cubiertas y laterales > seleccionar Correas en cubierta o Correas en laterales > botón Aceptar) está disponible en el diálogo emergente el botón Comprobaciones E.L.U., que permite visualizar e imprimir estos listados.