A clean slate implementation of NetKAT.
The API documentation is available online.
You can also generate it locally from scratch. You need to have OCaml's packet manager opam and the packages dune and odoc installed:
opam install dune odoc
Then, from the root of the project:
dune build @doc
Then open _build/default/_doc/_html/index.html.
- NetKAT: Semantic Foundations for Networks. Anderson, C. J., Foster, N., Guha, A., Jeannin, J. B., Kozen, D., Schlesinger, C., & Walker, D. POPL 2014.
- A Coalgebraic Decision Procedure for NetKAT. Foster, N., Kozen, D., Milano, M., Silva, A. and Thompson, L. POPL 2015.
- A Fast Compiler for NetKAT. Smolka, S., Eliopoulos, S., Foster, N. and Guha, A. ICFP 2015.