Alternatives and similar repositories for synet

Users that are interested in synet are comparing it to the libraries listed below

• nsg-ethz / synet-plus
  Practical Network-Wide Configuration Synthesis with Autocompletion
  ☆40Updated 6 years ago
• nsg-ethz / config2spec
  Mining Network Specifications from Network Configurations
  ☆31Updated 4 years ago
• SivaKesava1 / SelfStarter
  Tool using automatic template inference to find network misconfigurations
  ☆13Updated 4 years ago
• XJTU-NetVerify / dna
  [NSDI'22] Differential Network Analysis
  ☆10Updated 3 years ago
• nsg-ethz / netdice
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆33Updated 3 years ago
• snlab / flash
  Flash Artifact for SIGCOMM22
  ☆14Updated 3 years ago
• anubhavnidhi / batfish
  Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configu…
  ☆14Updated 3 years ago
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆16Updated 4 years ago
• alex1230608 / contra
  ☆25Updated 3 years ago
• AmyWorkspace / nassim
  Data repository of NAssim
  ☆25Updated 2 years ago
• Sonata-Princeton / SONATA-DEV
  Query-Driven Streaming Network Telemetry
  ☆66Updated 4 years ago
• Light-Guardian / LightGuardian
  ☆34Updated 4 years ago
• p4pktgen / p4pktgen
  Automatic test case generator for P4 programs
  ☆70Updated 3 years ago
• qiaokang92 / poise
  Poise source code repo
  ☆12Updated 4 years ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆34Updated 2 years ago
• kframework / p4-semantics
  Formal Semantics of P4 in K
  ☆20Updated 4 years ago
• eastzone / atpg
  Automatic Test Packet Generation
  ☆45Updated 9 years ago
• nyu-systems / gauntlet
  Finding bugs in P4 compilers using translation validation.
  ☆37Updated 2 months ago
• zenhox / p4-quick
  A quick way to learn p4 language.
  ☆26Updated 3 years ago
• pins / tutorials
  Set of tutorials that use PINS
  ☆25Updated 2 years ago
• chenxiang2019 / The-Road-to-P4
  A Programmer Guide of the P4 Language.
  ☆41Updated 7 years ago
• p4lang / p4app
  ☆113Updated 3 years ago
• verified-network-toolchain / petr4
  Petr4: Formal Semantics for P4
  ☆80Updated last week
• netgroup / SDN-TE-SR
  SDN based Traffic Engineering and Segment Routing
  ☆16Updated 10 years ago
• merlin-lang / merlin
  The Merlin Network Management System
  ☆22Updated 7 years ago
• PayloadPark / payloadpark
  ☆11Updated 4 years ago
• delta-net / datasets
  Data sets for experiments and performance evaluations of Delta-net
  ☆11Updated 4 years ago
• mininet / oflops
  Mirror of oflops (cbench) from git://gitosis.stanford.edu/oflops.git
  ☆31Updated 2 years ago
• sjas / assessing-mininet
  Framework for testing the Mininet network simulator.
  ☆36Updated 11 years ago
• LucasMFreire / assert-p4
  ☆13Updated 7 years ago