NetKAT — A Formal System for the Verification of Networks

DOI10.1007/978-3-319-12736-1_1zbMath1453.68051OpenAlexW22396832MaRDI QIDQ2789031

Dexter Kozen

Publication date: 26 February 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-12736-1_1

zbMATH Keywords

software-defined networkingKleene algebraKleene algebra with testspacket switchingNetKATFreneticOpenFlow

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

NetKAT ⋮ Undecidable Problems for Probabilistic Network Programming

Uses Software

• Coq
• Frenetic
• VeriCon