Skip to ContentSkip to Navigation
Research Bernoulli Institute Calendar

Colloquium Computer Science - Georgiana Caltais University of Twente

When:We 28-09-2022 16:00 - 17:00
Where:5161.0293 Bernoulliborg

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.