Software-defined networking (SDN) has emerged as a new network paradigm that promises
control/data plane separation and centralized network control. While these features simplify …

Formal methods are invaluable for reasoning about complex systems. As these techniques
and tools have improved in expressiveness and scale, their adoption has grown rapidly …

Software-defined networking (SDN) enables innovative and impressive solutions in the
networking domain by decoupling the control plane from the data plane. In an SDN …

This article summarizes our efforts around the formally verified static analysis of iptables
rulesets using Isabelle/HOL. We build our work around a formal semantics of the behavior of …

Network verification promises to detect errors, such as black holes and forwarding loops, by
logically analyzing the control or data plane. To do so efficiently, the state-of-the-art (eg …

Guaranteeing high availability of networks virtually hinges on the ability to handle and
recover from bugs and failures. Yet, despite the advances in verification, testing, and …

The control plane of Software-Defined Networking (SDN) is the key component for
overseeing and managing networks. As a software entity, the control plane is inevitable to …

Context: This work is based on property-based testing (PBT). PBT is an increasingly
important form of software testing. Furthermore, it serves as a concrete gateway into the …

Abstract Software-Defined Networking (SDN) is a networking paradigm that has become
increasingly popular in the last decade. The unprecedented control over the global …

Abstract Software-Defined Networking (SDN) is a promising network architecture that
proposes the decoupling of data and control planes. It uses a logically centralized controller …