Formal Foundations for Networking (Dagstuhl Seminar 15071)

Authors Nikolaj Bjorner, Nate Foster, Philip Brighten Godfrey, Pamela Zave and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.5.2.44.pdf
  • Filesize: 0.95 MB
  • 20 pages

Document Identifiers

Author Details

Nikolaj Bjorner
Nate Foster
Philip Brighten Godfrey
Pamela Zave
and all authors of the abstracts in this report

Cite AsGet BibTex

Nikolaj Bjorner, Nate Foster, Philip Brighten Godfrey, and Pamela Zave. Formal Foundations for Networking (Dagstuhl Seminar 15071). In Dagstuhl Reports, Volume 5, Issue 2, pp. 44-63, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
https://doi.org/10.4230/DagRep.5.2.44

Abstract

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.
Keywords
  • Formal methods
  • logic
  • middleboxes
  • model checking
  • networking
  • program synthesis
  • security
  • software-defined networking
  • verification

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail