Veriflow was structured around using formal verification to eliminate change-induced network outages and breaches. The companyâs mathematical network verification technology was designed to give client organizations the confidence to make changes - eliminating risks associated with modifying the network. The software also ensures network policy correctness and sends alerts whenever any change that may impact the network is detected, including intentional changes due to insider sabotage. The company was created by a team of computer science professors and Ph.D. students in the EnterpriseWorks incubator at the University of Illinois. Veriflow demonstrated success in multiple Fortune 500 and government networks. Previously doing business as Veriflow Systems Inc., the business focus of the company is now in San Jose CA, with those working on the core technology still in Champaign, Illinois. In mid-August 2019 it was announced that VMware - a software company providing cloud and virtualization services as part of EMC - had acquired privately held Veriflow to beef up its pervasive network monitoring and troubleshooting capabilities. The firm had successfully raised a healthy amount of VC support with NSF having also substantially increased the Phase II funding level on an (older) SBIR Award made soon after the firm was founded