Repositories list

• XJTU-NetVerify.github.io

  Public
  Homepage

  Python

  •55 forks•11 star•00 issues•11 pull request•Updated Sep 20, 2026Sep 20, 2026

• NDD

  Public
  [NSDI '25] Network Decision Diagram (NDD) is a new decision diagram. Different from the classical Binary Decision Diagram (BDD), where each node branches based…

  Java

  •

  Apache License 2.0

  •1010 forks•2020 stars•00 issues•00 pull requests•Updated Sep 20, 2026Sep 20, 2026

• veriboost-core

  Public
  VeriBoost: A General Acceleration Approach for Fault-Tolerance Verification in Wide-Area Networks

  HTML

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 7, 2026Sep 7, 2026

• Expresso

  Public
  [SIGCOMM '24] Expresso: Comprehensively Reasoning About External Routes Using Symbolic Simulation

  Java

  •

  Apache License 2.0

  •11 fork•33 stars•00 issues•00 pull requests•Updated Jul 23, 2026Jul 23, 2026

• ants-index

  Public
  Index webpage for ANTS group

  HTML

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jul 1, 2026Jul 1, 2026

• .github

  Public
  11 fork•00 stars•00 issues•00 pull requests•Updated May 21, 2026May 21, 2026

• nqueensBenchmarkDDs

  Public
  Benchmark on all version of BDD and NDD in NQueens

  Java

  •11 fork•11 star•00 issues•00 pull requests•Updated May 20, 2026May 20, 2026

• accessrefinery

  Public
  [FSE' 26] AccessRefinery: Fast Mining Concise Access Control Intents on Public Cloud.

  Java

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 17, 2026May 17, 2026

• blist-hugo-theme

  Public
  This is a modified version of Blist theme (https://blist.vercel.app) in hugo blog framework. These changes are fit to our lab webiste (can be access by https://…

  HTML

  •

  MIT License

  •163163 forks•44 stars•00 issues•00 pull requests•Updated May 16, 2026May 16, 2026

• REAL-artifact-evaluation

  Public
  [NSDI '26] Artifact evaluation repository of the NSDI '26 paper "REAL: Emulating Control Plane at Simulator’s Cost".

  C++

  •22 forks•00 stars•00 issues•00 pull requests•Updated May 5, 2026May 5, 2026

• sdn-lab3

  Public
  Experiments for COMP550705 Software Defined Networks: Lab 3

  Python

  •22 forks•33 stars•00 issues•00 pull requests•Updated Apr 20, 2026Apr 20, 2026

• sdn-lab1

  Public
  Experiments for COMP550705 Software Defined Networks: Lab 1

  11 fork•33 stars•00 issues•00 pull requests•Updated Apr 20, 2026Apr 20, 2026

• sdn-lab2

  Public
  Experiments for COMP550705 Software Defined Networks: Lab 2

  Python

  •33 forks•33 stars•00 issues•00 pull requests•Updated Apr 20, 2026Apr 20, 2026

• apkeep

  Public
  [NSDI'20] APKeep: Realtime Verification for Real Networks

  Java

  •

  MIT License

  •66 forks•77 stars•00 issues•00 pull requests•Updated Mar 5, 2026Mar 5, 2026

• veriboost

  Public
  [FM'26] VeriBoost : Fast SMT-Based Fault Tolerance Verification for Wide Area Networks.

  Java

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Feb 28, 2026Feb 28, 2026

• s2

  Public
  [SIGCOMM '25] S2: A Distributed Configuration Verifier for Hyper-Scale Networks

  Java

  •

  Apache License 2.0

  •00 forks•33 stars•00 issues•00 pull requests•Updated Oct 24, 2025Oct 24, 2025

• s2-benchmark

  Public
  Python

  •00 forks•33 stars•00 issues•00 pull requests•Updated Oct 23, 2025Oct 23, 2025

• sdn-lab4

  Public
  2025 Experiments for COMP550705 Software Defined Networks: Lab 4

  C++

  •22 forks•44 stars•00 issues•00 pull requests•Updated Apr 20, 2025Apr 20, 2025

• dna

  Public
  [NSDI'22] Differential Network Analysis

  Java

  •

  MIT License

  •44 forks•1414 stars•00 issues•00 pull requests•Updated Jun 2, 2022Jun 2, 2022