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

Yang LiuZiyu ZhouYongsheng YangYan Ma2025-05-222025-05-22https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/36372600Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checkingsupplierxml