A three-valued model abstraction framework for PCTL* stochastic model checking. - Yang Liu 265; Yan Ma; Yongsheng Yang (Autom. Softw. Eng., 2022)

Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking. - Yang Liu 265; Ziyu Zhou; Yongsheng Yang; Yan Ma (Syst., 2022)

DOCS: A Data Ownership Confirmation Scheme for Distributed Data Trading. - Yang Liu 265; Yang Zhang; Yongsheng Yang; Yan Ma (Syst., 2022)