文件名称：vnf-modeling-verigraph:硕士论文
文件大小：421KB
文件格式：ZIP
更新时间：2024-06-07 07:35:37
Java
NF开发 该项目的目标是从实际实施开始构建VNF模型。 工具 该工具由不同部分组成： - a library that can be used to write the implementation of a generic VNF (package it.polito.nfdev.lib); - a set of verification-oriented functions and annotations in order to enrich the VNF implementation and aid the extraction of logic formulas; - an example on how to write the code of a real NAT function (package it.polito.nfdev.nat) - some JUnit tes