PAIS Lab seminar: Verification of software-defined networks // Vladimir Podymov

At the session of our seminar, Vladimir Podymov (Research fellow of the PAIS Lab) delivered a report "Verification of software-defined networks".

Abstact:
Software-defined networks (SDN) is an architecture of data transmission networks which appeared approximately a decade ago. The main purpose of SDN is to facilitate network management: separate network management and data transmission; use centralized control mechanisms, unify work of network components. The goal of DNS verification is to check if behavior of the network meets the specified data transmission requirements. A review of models and methods of verifying DNS will be provided.