Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Approach to the State Explosion Problem: SOPC Case Study;Electronics;2023-12-13
2. 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
3. Language-specific model checking of UML-RT models;Software & Systems Modeling;2015-07-22
4. 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
5. Local State Space Analysis Leads to Better Partial Order Reduction;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2014-06