Veriflow brings formal verification to network infrastructure for the first time, continuously ensuring your network operates as intended. Veriflow predicts outages before they impact the business, and vulnerabilities before they are exploited, allowing IT teams to operate secure and resilient networks. Veriflow is backed by New Enterprise Associates (NEA), Menlo Ventures, the National Science Foundation and the U.S. Department of Defense. The company is headquartered in San Jose, California.
James Brear, the company’s president and CEO, brings a strong track record in network policy and protection. Previously, James was the Chief Executive Officer at Procera (NASDAQ:PKT) until its successful acquisition by Francisco Partners for $240M in August 2015. In July 2016, the company raised $8.2 million in Series A funding, led by Menlo Ventures along with current investor New Enterprise Associates (NEA). Pandora is a current customer.
Based in San Jose, California, Veriflow provides a preventative solution for network administrators who worry about security vulnerabilities from change induced errors. The practical application of this service allows for network administrators who may not be knowledgeable in certain technologies to easily monitor changes in the network. Where Veriflow differs from its peers is the basis of its design; a mathematical formula called formal verification, which continuously evaluates changes and ensures they won’t bring harm to the network.
President and CEO James Brear is a proven industry executive with an impressive history of success. Annual revenues under James rose consistently with his leadership at Procera Networks, totaling nearly 1110% in total growth from the start of his tenure and gathering several awards. This led to the successful acquisition of the firm by Francisco Partners for $240M in 2015. Co-Founder Brighten Godfrey leads the technical research and development for the firm. He holds a Ph.D in computer science and is an expert in mathematical formal verification, which checks the validity of code as it is written.