TechPrufer
Get started
Jane Street
Jane Street logoJane Street · Feature trail

Network Data Plane Verification

1 post · Sep 2017

What this trail covers

This post introduces a new capability for verifying network data planes. It details the technical approach to ensuring the correctness and reliability of network infrastructure by systematically testing its data plane operations.

All Jane Street trails
  1. Jane Street Tech Talk, Verifying Network Data PlanesThis post introduces the capability of verifying network data planes. It outlines the technical challenges and approaches to ensuring the correctness of network forwarding and packet processing logic.