NetKAT — A Formal System for the Verification of Networks (Q2789031)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | NetKAT — A Formal System for the Verification of Networks |
scientific article |
Statements
NetKAT — A Formal System for the Verification of Networks (English)
0 references
26 February 2016
0 references
Kleene algebra
0 references
Kleene algebra with tests
0 references
NetKAT
0 references
software-defined networking
0 references
packet switching
0 references
OpenFlow
0 references
Frenetic
0 references
