verified NFV infrastructure