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

Tao Sun, Jing Yang, Wenjie Zhong

Browse the full TrustCom paper archive.