Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
308 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Compositional Verification in Rewriting Logic;Theory and Practice of Logic Programming;2023-08-31
2. Modular Control Plane Verification via Temporal Invariants;Proceedings of the ACM on Programming Languages;2023-06-06
3. Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs;Automated Deduction – CADE 29;2023
4. Assume, guarantee or repair: a regular framework for non regular properties;International Journal on Software Tools for Technology Transfer;2022-09-29
5. Selective Presumed Benevolence in Multi-party System Verification;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022