Alternatives and similar repositories for synet

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

• nsg-ethz / config2spec
  Mining Network Specifications from Network Configurations
  ☆31Updated 4 years ago
• nsg-ethz / synet-plus
  Practical Network-Wide Configuration Synthesis with Autocompletion
  ☆40Updated 6 years ago
• SivaKesava1 / SelfStarter
  Tool using automatic template inference to find network misconfigurations
  ☆13Updated 5 years ago
• XJTU-NetVerify / dna
  [NSDI'22] Differential Network Analysis
  ☆11Updated 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…
  ☆15Updated 3 years ago
• nsg-ethz / netdice
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆34Updated 4 years ago
• snlab / flash
  Flash Artifact for SIGCOMM22
  ☆14Updated 3 years ago
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆16Updated 4 years ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆34Updated 2 years ago
• eastzone / atpg
  Automatic Test Packet Generation
  ☆45Updated 9 years ago
• p4pktgen / p4pktgen
  Automatic test case generator for P4 programs
  ☆70Updated 3 years ago
• AmyWorkspace / nassim
  Data repository of NAssim
  ☆25Updated 2 years ago
• vibhaa / hashpipe
  Heavy hitter detection algorithm that is entirely in the dataplane
  ☆25Updated 6 years ago
• alex1230608 / contra
  ☆25Updated 3 years ago
• p4lang / p4app
  ☆113Updated 3 years ago
• xuraylei / floodlight_with_topoguard
  ☆16Updated 10 years ago
• Sonata-Princeton / SONATA-DEV
  Query-Driven Streaming Network Telemetry
  ☆66Updated 4 years ago
• jiarong0907 / Ripple
  Ripple: A Programmable, Decentralized Link-Flooding Defense Against Adaptive Adversaries
  ☆25Updated 3 years ago
• Brown-NSG / P4Visor
  ☆14Updated 2 years ago
• BlockLiu / ElasticSketchCode
  ☆116Updated 2 years ago
• LucasMFreire / assert-p4
  ☆13Updated 7 years ago
• nyu-systems / gauntlet
  Finding bugs in P4 compilers using translation validation.
  ☆37Updated 3 months ago
• Light-Guardian / LightGuardian
  ☆34Updated 4 years ago
• zenhox / p4-quick
  A quick way to learn p4 language.
  ☆26Updated 3 years ago
• cornell-netlab / yates
  YATES (Yet Another Traffic Engineering System)
  ☆67Updated 2 years ago
• kframework / p4-semantics
  Formal Semantics of P4 in K
  ☆20Updated 4 years ago
• merlin-lang / merlin
  The Merlin Network Management System
  ☆22Updated 7 years ago
• verified-network-toolchain / petr4
  Petr4: Formal Semantics for P4
  ☆80Updated last month
• nsg-ethz / FANcY
  FANcY: FAst In-Network GraY Failure Detection for ISPs
  ☆21Updated 2 years ago
• jiexray / Elastic-Sketch-P4
  A P4 implementation of Elastic Sketch
  ☆19Updated 6 years ago