CPN Model Checking Method of Concurrent Software Based on State Space Pruning

Tao Sun, Jing Yang, Wenjie Zhong. CPN Model Checking Method of Concurrent Software Based on State Space Pruning. In Guojun Wang 0001, Ryan K. L. Ko, Md. Zakirul Alam Bhuiyan, Yi Pan 0001, editors, 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2020, Guangzhou, China, December 29, 2020 - January 1, 2021. pages 1390-1394, IEEE, 2020. [doi]

Abstract

Abstract is missing.