2026-07-23T20:44:43Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5044 2024-03-06T10:26:21Z ddc:004 open_access

Formal Foundations for Networking (Dagstuhl Seminar 15071) Bjorner, Nikolaj Foster, Nate Godfrey, Philip Brighten Zave, Pamela Formal methods logic middleboxes model checking networking program synthesis security software-defined networking verification This report documents the program and outcomes of Dagstuhl Seminar 15071 "Formal Foundations for Networking." Networking is in the midst of a revolution being driven by rapidly expanding infrastructures and emerging software-defined networking architectures. There is a growing need for tools and methodologies that provide rigorous guarantees about performance, reliability, and security. This seminar brought 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Nikolaj Bjorner and Nate Foster and Philip Brighten Godfrey and Pamela Zave 2015 Is Part Of Dagstuhl Reports, Volume 5, Issue 2 (2015) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.5.2.44 urn:nbn:de:0030-drops-50440 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.2.44 eng https://creativecommons.org/licenses/by/3.0/legalcode