Veriflow Launches Disruptive Network Verification Platform and Announces Customer Wins

Continuous Verification Technology Eliminates Vulnerabilities and Outages in Networks

San Jose, California, UNITED STATES

SAN JOSE, CA--(Marketwired - Nov 15, 2016) - Veriflow today launched its innovative platform that is specially designed to eliminate network outages and vulnerabilities across complex networks. The software uses patented continuous network verification algorithms to predict all possible network-wide behavior and to mathematically verify whether this network model meets desired security and resilience policies. Built for network administrators, engineers, architects, and executives, the virtual appliance, which can be deployed in the cloud or on premises, minimizes the risk of network vulnerabilities and outages, reduces staff time required for manual management processes -- including change verification and compliance -- and reduces time to resolution of incidents.

"Our business is dynamic, and our networks are complex," said James Kelty, senior director of network engineering at Pandora. "We need to make rapid changes while avoiding the risk of outages and vulnerabilities. We chose Veriflow because it helps us catch network problems before they happen, and no other solution does that proactively and accurately. We can now easily verify if the network is behaving exactly as expected."

Typically, network engineers have identified anomalies either through ad hoc checks, like manual reachability and device configuration tests, or through monitoring of ongoing events and flows. However, ad hoc checks fail to provide any guarantees, and monitoring can only detect problems after they have already begun. Often, an outage will be undetected for hours after a change, and a segmentation vulnerability may lie undiscovered for months until after it is exploited. Rather than waiting for such incidents to occur, Veriflow continually assures that end-to-end service and security policies are correctly implemented for all possible traffic, pinpointing any vulnerabilities.

Key Solutions

"Veriflow is a continuous network verification tool ... this tool goes out, builds a network graph, finds out that I violated my policy," said David Stern, enterprise architect at the Defense Information Systems Agency (DISA). Veriflow's API integration also enabled automated response to a network vulnerability. He added, "We see this as a DoD first, and this very well may be a world first ... so we are very excited by this."

"The top three reasons why networks are susceptible to outages and vulnerabilities are complexity, change, and human errors. Modern enterprise networks are complex as they may span hybrid cloud, virtual overlay and physical underlays, containers, VMs, and multi-vendor products. Networks are struggling to keep pace with the agility of compute to provision services, and engineers need to deal with larger-scale organizational changes or to deploy new technologies like SDN. A recent Dimensional Research survey found that 97 percent of respondents admitted that human error causes network outages," said James Brear, president and CEO of Veriflow. "Veriflow helps to protect networks against all of these potential issues. Once an organization has seen Veriflow in action, we believe they will quickly realize the benefits of and need for continuous network verification."

"Veriflow draws inspiration from formal verification, a technique in which the operational states of a system are mathematically verified," Eric Hanselman, chief analyst at 451 Research. "Microprocessor designs, for example, are formally verified before being fabricated; and NASA rovers are still traversing the Martian landscape years after landing in part because the correctness of critical elements of their flight software were mathematically proven. Veriflow has applied these concepts to validating network design and operation in interesting new ways."

Award Winning Technology
In addition to increased customer traction, in October, Veriflow won Barclays 2016 Open Innovation Challenge award, beating out more than 100 global technology companies for the honor. "Barclays' Open Innovation event enables us to quickly identify best-in-class emerging technologies," said Tony Kerrison, Global Head of Infrastructure Services at Barclays. "Veriflow is the first networking company to use formal verification to eliminate change-induced network vulnerabilities and outages. We look forward to collaborating with Veriflow in the near future."

Veriflow is available today. For more information, please visit:

On Wednesday, December 7 at 10:00 a.m. PT, Veriflow will host a webinar titled "How to Make Rapid Network Changes, Without Outages and Vulnerabilities." To register for the webinar, please visit:

To request a demo, please visit: 

Visit the Veriflow blog:
Follow Veriflow on Twitter: @VeriflowSystems
Follow Veriflow on LinkedIn:

About Veriflow
Veriflow is the first networking company to use continuous network verification to eliminate network outages and vulnerabilities. The company was created by a team of computer science professors and Ph.D. students at the University of Illinois at Urbana-Champaign, and 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. To learn more, visit and follow us on Twitter @veriflowsystems.

Contact Information:

Press Contact
Rick Popko
10Fold for Veriflow
(415) 800-5381