p4v：可编程数据平面的实用验证.pdf

p4v: Practical Verification for Programmable Data Planes Jed Liu William Hallahan Cole Schlesinger Milad Sharif Jeongkeun Lee Barefoot Networks Yale University Barefoot Networks Baref