Veriflow 3 Veriflow

Veriflow’s mission is to apply formal mathematical verification to complex networks, preventing outages and breaches that lead to astronomical losses. The systems give security and operations professionals a map of their networks and a way to model any configuration or device changes before implementing them. The models reveal where security holes may open up, or other problems that may arise causing network outages and suboptimal performance as unintended consequences.

Veriflow was founded at the University of Illinois at Urbana-Champaign by computer science professors, Matthew Caesar and Brighten Godfrey, along with PhD student, Ahmed Khurshid. Veriflow is backed by a strong team of investors, including New Enterprise Associates, Menlo Ventures, the National Science Foundation, and the US Department of Defense.

EnterpriseWorks Tenure: 2013-2017

News & Milestones:

Veriflow Now

In 2019, VMware acquired former Research Park startup Veriflow. VMware integrated Veriflow into vRealize Network Insight to increase its overall network monitoring and troubleshooting capabilities and add new dimensions of network verification and What-If analysis directly to the platform.

Veriflow is currently headquartered in San Jose, California, where it continues to be a pioneer in network verification and troubleshooting under VMware’s wing.