Airtnp/Kubernetes-verification

Network verification over kubernete cluster

# Winter 2021 CS219B Network Verification Kubertenes Project

## Kano-Py

A implementation of [Kano: Efficient Container Network Policy Verification](http://security.riit.tsinghua.edu.cn/share/Kano_HOTI20_Yifan.pdf) in Python.