Model Checking Instance Based on NuSMV. - Ninglin Xu; Zhanyou Ma; Jiulei Jiang; Panqing Zhang (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

Quantitative µ-Calculus Model Checking Algorithm Based on Generalized Possibility Measures. - Panqing Zhang; Jiulei Jiang; Zhanyou Ma; Heng Zhu (DASC/PiCom/DataCom/CyberSciTech, 2019)