Search Results for author:
Found 2 papers, 1 papers with code
Automatic Inference of High-Level Network Intents by Mining Forwarding Patterns
There is a semantic gap between the high-level intents of network operators and the low-level configurations that achieve the intents.
P4K: A Formal Semantics of P4 and Applications
Based on this semantics, K provides an interpreter and various analysis tools including a symbolic model checker and a deductive program verifier for P4.
Networking and Internet Architecture Programming Languages
Cannot find the paper you are looking for? You can
Submit a new open access paper.
