Author:
Guo Huayang,Wu Ming,Zhou Lidong,Hu Gang,Yang Junfeng,Zhang Lintao
Cited by
48 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Model‐checking‐driven explorative testing of CRDT designs and implementations;Journal of Software: Evolution and Process;2023-03-15
2. Compiling Distributed System Models with PGo;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2023-01-27
3. Review of Software Model-Checking Techniques for Dealing with Error Detection in Program Codes;Journal of Software Engineering and Applications;2023
4. Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07
5. Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction;2022 41st International Symposium on Reliable Distributed Systems (SRDS);2022-09