Formal Verification for Software-Defined Networks (SDN)
draft-shin-sdnrg-formal-verification-00
| Document | Type |
Expired Internet-Draft
(individual)
Expired & archived
|
|
|---|---|---|---|
| Authors | Myung-Ki Shin , Seungik Lee | ||
| Last updated | 2014-08-15 (Latest revision 2014-02-11) | ||
| RFC stream | (None) | ||
| Intended RFC status | (None) | ||
| Formats | |||
| Stream | Stream state | (No stream defined) | |
| Consensus boilerplate | Unknown | ||
| RFC Editor Note | (None) | ||
| IESG | IESG state | Expired | |
| Telechat date | (None) | ||
| Responsible AD | (None) | ||
| Send notices to | (None) |
This Internet-Draft is no longer active. A copy of the expired Internet-Draft is available in these formats:
Abstract
To design and implement networks that conform to the design goals of SDN network topology, the structure and behavior of the networks need to be formally verified to prevent from misinterpreting of the intended meanings and to avoid inconsistency in the networks. This document discusses basic requirements, framework, and case studies of formal verification for SDN.
Authors
(Note: The e-mail addresses provided for the authors of this Internet-Draft may no longer be valid.)