Although NFV paradigm is drawing considerable interest from both the academic and enterprise worlds, the ecosystem of tools and solutions supporting it is still in its infancy: this thesis work main goal is to enrich one or more NFV Orchestration platforms with support for smart service composition, VNF forwarding graph formal verification and deployment optimization by integrating the capabilities of Verifoo, a “Verification and Optimization Orchestrator component for joint Service Graph mapping and verification”. This solution would improve service composition and prevent human error in descriptor design, identify unused VNFs in service chains and optimize deployment.