In complex network environments, key roles such as network designers and security managers must collaborate to ensure both functionality and protection. However, miscommunication and human error are common and can result in unintended security vulnerabilities which are potential entry points for cyberattacks, in fact according to the 2022 Data Breach Investigations Report (DBIR), approximately 82% of security breaches involved a human element. To mitigate these issues, automated systems that leverage formal models and ensure formal correctness of results are essential; furthermore, such systems may also improve the reliability of network configurations while optimizing time and resource utilization. This is the context in which VEREFOO (VErified REFinement and Optimized Orchestrator) operates.