Las cadenas de suministro portuarias juegan un papel muy importante en el proceso de globalización económica. La falta de confianza en el mecanismo es el principal factor que restringe el desarrollo de las cadenas de suministro portuarias. Las cadenas de bloques tienen un gran potencial para resolver el problema de confianza entre todos los participantes que utilizan cadenas de suministro portuarias, lo que puede reducir costos y mejorar la eficiencia. Como el puente entre las cadenas de bloques y las cadenas de suministro portuarias, los contratos inteligentes reconstruyen el proceso comercial de las cadenas de suministro portuarias potenciadas por blockchain. En este artículo, presentamos una arquitectura de un sistema de cadena de suministro portuaria impulsada por blockchain de consorcio y proponemos un marco de verificación del sistema para los contratos inteligentes de cadenas de suministro portuarias con comportamientos probabilísticos. Los contratos inteligentes se modelan como DTMCs (Cadenas de Markov de Tiempo Discreto), que se transforman automáticamente a través de la descripción BPMN (Notación y Modelo de Proceso de Negocio) de los contratos inteligentes. Los requisitos se especifican mediante PCTL (Lógica de Árbol de Cálculo Probabilístico). Además, implementamos el proceso de despacho aduanero del Puerto de Yangshan de Shanghái basado en blockchain Hyperledger Fabric y reconstruimos el proceso de despacho con contratos inteligentes. Lo utilizamos para demostrar la efectividad de este marco e identificar los contratos inteligentes que no cumplen con las necesidades esperadas de los usuarios.