A clean slate implementation of NetKAT.

Documentation

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.

References

• 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.