A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks
A VNF modeling approach for verification purposes
A framework for verification-oriented user-friendly network function modeling
Automated Security Management for Virtual Services
A framework for user-friendly verification-oriented VNF modeling