Verification of NFV Services : Problem Statement and Challenges

Document Type Expired Internet-Draft (nfvrg RG)
Last updated 2016-04-06 (latest revision 2015-10-04)
Stream IRTF
Intended RFC status (None)
Expired & archived
pdf htmlized (tools) htmlized bibtex
Stream IRTF state (None)
Consensus Boilerplate Unknown
Document shepherd No shepherd assigned
IESG IESG state Expired
Telechat date
Responsible AD (None)
Send notices to (None)

This Internet-Draft is no longer active. A copy of the expired Internet-Draft can be found at


NFV relocates network functions from dedicated hardware appliances to generic servers, so they can run in software. However, incomplete or inconsistent configuration of virtualized network functions (VNF) and forwarding graph (FG, aka service chain) could cause break-down of the supporting infrastructure. In this sense, verification is critical for network operators to check their requirements and network properties are correctly enforced in the supporting infrastructures. Recognizing these problems, we discuss key properties to be checked on NFV-enabled services. Also, we present challenging issues related to verification in NFV environments.


Myung-Ki Shin (
Ki-Hyuk Nam (
Sangheon Pack (
Seungik Lee (
Ramki Krishnan (
Tae-wan Kim (

(Note: The e-mail addresses provided for the authors of this Internet-Draft may no longer be valid.)