At Networking Field Day, Veriflow demonstrated bringing intent-based network verification to the enterprise. Drew Conry-Murray looks at these features, which include using formal verification to build software models to see if your on-site and cloud networks are performing as you intended. Drew likes the fact that its designed for networks as they exist, not positing hypothetical networks an engineer has no way of building within an organization. Ultimately, using these software models puts the onus on organizations to use them effectively for managing networks.
