@techreport{shin-nfvrg-service-verification-04,
    number =    {draft-shin-nfvrg-service-verification-04},
    type =      {Internet-Draft},
    institution =   {Internet Engineering Task Force},
    publisher = {Internet Engineering Task Force},
    note =      {Work in Progress},
    url =       {https://datatracker.ietf.org/doc/draft-shin-nfvrg-service-verification/04/},
    author =    {Myung-Ki Shin and Ki-Hyuk Nam and Sangheon Pack and Seungik Lee and Ramki Krishnan and Tae-wan Kim},
    title =     {{Verification of NFV Services : Problem Statement and Challenges}},
    pagetotal = 15,
    year =      2015,
    month =     oct,
    day =       4,
    abstract =  {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.},
}