One of the most emerging innovations of the last years is the security automation of networks. Various technologies have been developed to streamline all security processes within different network environments. Two significant advancements in this field are SDN (Software-Defined Network) and NFV (Network Function Virtualization), which have elevated automation to a central role in cybersecurity. These technologies enable the construction of networks where certain nodes are not tied to specific hardware but are instead virtualized, allowing them to deploy network functions through software. Within this context, the VEREFOO (VErified REfinement and Optimized Orchestration) framework has been developed; it is capable of obtaining an automated and optimal allocation of some NSFs (Network Security Functions), necessary to fulfil a set of NSRs (Network Security Requirements) provided as input, starting from a logical description of the network topology.