Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking

Yang LiuZiyu ZhouYongsheng YangYan Ma2025-05-222025-05-222022jz000178-0019https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/36370600Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model CheckingArticlehttps://doi.org/10.3390/systems10010019