Author:
Li Yongjian,Cao Jialun,Pang Jun
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A local search approach to protocol verification;Theoretical Computer Science;2024-09
2. Mechanizing the CMP Abstraction for Parameterized Verification;Proceedings of the ACM on Programming Languages;2024-04-29
3. Model Checking TileLink Cache Coherence Protocols By Murphi;2023 IEEE 41st International Conference on Computer Design (ICCD);2023-11-06
4. Accelerated Verification of Parametric Protocols with Decision Trees;2020 IEEE 38th International Conference on Computer Design (ICCD);2020-10