Colloquium Computer Science - Georgiana Caltais University of Twente
|When:||We 28-09-2022 16:00 - 17:00|
Title: DyNetKat: An Algebra of Dynamic Networks
In this talk I will introduce DyNetKAT -a formal language for specifying dynamic updates for Software Defined Networks-. The language builds upon Network Kleene Algebra with Tests (NetKAT) and adds constructs for synchronisations and multi-packet behaviour to capture the interaction between the control- and data plane in dynamic updates. A sound and ground-complete axiomatisation of DyNetKAT will be discussed, together with an efficient method for reasoning about safety properties, and associated case studies. This is joint work with Hossein Hojjat at TeIAS, Mohammad Mousavi at King’s College London, and Hünkar Can Tunç at Aarhus University.