Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CPN Model Checking Method of Concurrent Software Based on State Space Pruning;2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2020-12
2. Local state space construction for compositional verification of concurrent systems;Proceedings of the 2014 International SPIN Symposium on Model Checking of Software;2014-07-21