The goal of this project is that of building a VNF model starting from its actual implementation.
The tool is composed by different parts:
- 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 tests about the NAT implementation;
Eclipse version: Eclipse Java EE IDE for Web Developers. Version: Mars.1 Release (4.5.1) Build id: 20150924-1200 Java version: 1.8.0_65 (Java HotSpot 64-bit Server VM build 25.65-b01)