arXiv Open Access 2017

Derivation of Network Reprogramming Protocol with Z3

Vidhya Tekken-Valapil Sandeep S. Kulkarni

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.DC

Penulis (2)

Vidhya Tekken-Valapil

Sandeep S. Kulkarni

Format Sitasi

APA MLA BibTeX

Tekken-Valapil, V., Kulkarni, S.S. (2017). Derivation of Network Reprogramming Protocol with Z3. https://arxiv.org/abs/1709.06604

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2017
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓