The growing complexity and dynamic nature of modern computer networks pose significant challenges for ensuring their security and correctness. Network misconfigurations are the most common reason for vulnerabilities, most times resulting in security breaches, disruptions of service, as well as non-compliance. Formal verification, a rigorous methodology rooted in mathematical logic, offers the systematic method to understand network configurations and give robust guarantees for their actions and adherence to the security policies. Of the most visible tools in this area is VEREFOO, designed at the Politecnico di Torino, excels for its capacity to efficiently fulfill network needs by allocating firewalls to avoid subtle configuration errors.