Summary
Report on formal model of SDN routers and their flow rules, incremental verification methods to obtain an efficient tool for checking the correctness of distributed flow rules. Deliverable update: month M24.
More information & hyperlinks
