Repositories list

• Timepiece

  Public
  Modular network control plane verification tool, using temporal invariants to define modular interfaces

  verificationcontrol-planetemporal-reasoning+ 1modular-verification

  C#

  •2•2•0•0•Updated Feb 20, 2024Feb 20, 2024

• .github

  Public
  0•0•0•0•Updated Feb 16, 2024Feb 16, 2024

• angler

  Public
  An extraction tool for interacting with Batfish

  Python

  •0•5•0•0•Updated Feb 16, 2024Feb 16, 2024

• nv

  Public
  A Framework for Modeling and Analyzing Network Configurations

  network-analysisnetwork-validationnetwork-verification

  OCaml

  •

  MIT License

  •3•33•27•0•Updated Feb 20, 2023Feb 20, 2023

• batfish

  Public
  Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.

  Java

  •

  Apache License 2.0

  •234•0•0•0•Updated Dec 21, 2021Dec 21, 2021

• netverify.github.io

  Public
  CSS

  •11•0•0•0•Updated Jun 21, 2020Jun 21, 2020