Verification of SDN-Controller and Secure Router Design

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. This deliverable aims to be periodically updated throughout the project's lifetime. In particular, the initial version of this deliverable is foreseen to be produced in M12, an updated version will follow in M24, while the final on shall be expected by M36. In particular, the final version will also include an evaluation report of the proposed security and safety verification tools applied to SerIoT use cases.