Formal Foundations of Software Defined Networks (FoFoSDN 2020)

Abstract

There are several contemporary examples of network failures, particularly in the domain of SDNs, that led to substantial loss for businesses. Formal methods are promised to address performance, reliability, and security issues of SDNs using the rigour provided by their underlying mathematics. The focus of this workshop is on formal methods aimed to enable the formal specification and verification of SDNs and NFVs. We aim at bringing together leading researchers and practitioners from the fields of formal methods, networking, programming languages, and security, to investigate the task of developing formal foundations for networks. The topics of interest include, but are not restricted to: foundations (including formal semantics of) programming languages, formal specification languages, formal verification techniques, synthesis and correct-by-construction methods, and testing, debugging, monitoring and other forms of non-exhaustive validation and verification.