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, 2017 EnterpriseWorks Graduate, Acquired by VMware
- Veriflow’s Matt Caesar Featured in the News-Gazette
- Brighten Godfrey of Veriflow Wins Bay Area CIO of the Year
- Veriflow’s Godfrey Makes the Case for Entrepreneurship in Academia
- Veriflow Wins Open Innovation Challenge Award
- Veriflow Selected as Chicago Innovation Awards Finalist
- Veriflow Systems Raises $8.2 Million
- Veriflow Co-founder Brighten Godfrey Featured in News-Gazette’s Wired In Column
- Veriflow Systems Raises $2.9 Million, Announces CEO Hire
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.