Skip to content
@verified-network-toolchain

Verified Network Toolchain

Network programming in P4, C, and other languages, with programs and compilers formally specified and verified for functional correctness

Pinned Loading

  1. petr4 petr4 Public

    Petr4: Formal Semantics for P4

    P4 79 21

  2. Verified-FEC Verified-FEC Public

    Verified Forward Erasure Correction in Coq

    Coq 6 1

Repositories

Showing 4 of 4 repositories
  • leapfrog Public

    Certified Equivalence for Protocol Parsers

    verified-network-toolchain/leapfrog’s past year of commit activity
    Coq 8 Apache-2.0 1 0 0 Updated Aug 27, 2024
  • VerifiableP4 Public
    verified-network-toolchain/VerifiableP4’s past year of commit activity
    Coq 7 Apache-2.0 0 7 1 Updated Aug 6, 2024
  • petr4 Public

    Petr4: Formal Semantics for P4

    verified-network-toolchain/petr4’s past year of commit activity
    P4 79 Apache-2.0 21 113 3 Updated Jul 15, 2024
  • Verified-FEC Public

    Verified Forward Erasure Correction in Coq

    verified-network-toolchain/Verified-FEC’s past year of commit activity
    Coq 6 1 0 0 Updated Mar 12, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Coq P4

Most used topics

Loading…