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 M40 (final).
More information & hyperlinks
