Funder
National Science Foundation
NSF
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Scaver: A Scalable Verification System for Programmable Network;Proceedings of the SIGCOMM Workshop on Formal Methods Aided Network Operation;2024-08-04
2. Towards Functional Verification of eBPF Programs;Proceedings of the SIGCOMM Workshop on eBPF and Kernel Extensions;2024-08-04
3. P4Inv: Inferring Packet Invariants for Verification of Stateful P4 Programs;IEEE INFOCOM 2024 - IEEE Conference on Computer Communications;2024-05-20
4. HOL4P4: Mechanized Small-Step Semantics for P4;Proceedings of the ACM on Programming Languages;2024-04-29
5. P4b: A Translator from P4 Programs to Boogie;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30