Derivation of Network Reprogramming Protocol with Z3

TL;DR

This paper presents an automated method for synthesizing network protocols from specifications using SMT solvers, aiming to optimize data transmission based on network requirements.

Contribution

It introduces a novel step-by-step approach leveraging Z3 SMT solver for automated network protocol synthesis from specifications.

Findings

Protocols generated are optimal for data transmission.

The approach automates protocol derivation from network requirements.

SMT solvers effectively synthesize network protocols.

Abstract

Networks protocols are the heart of communication networks. An efficient network protocol does maximum utilization of the underlying network capabilities. Network Protocol synthesis is the process of synthesizing or deriving network specific protocols from the requirements of a given specific network. In this report, we present a step-by-step approach for the automated synthesis of network protocols from the network specifications. Using SMT solvers to automate the protocol generation is the key idea behind the presented synthesis approach. The protocols generated using this approach followed the most optimal way of data transmission for the given network requirements.