Veriflow Network Verification Platform Now Generally Available

Startup brings formal mathematical verification approach to networking.

By Sean Michael Kerner | Posted Nov 18, 2016
Page of   |  Back to Page 1
Print ArticleEmail Article
  • Share on Facebook
  • Share on Twitter
  • Share on LinkedIn

Veriflow officially launched its network verification platform on November 15 as a generally available release. Veriflow first emerged from stealth in April with the promise of bringing mathematical formal verification to the process to understanding how traffic flows across a network.

Veriflow has raised a total of $11.1 million in venture funding, including an $8.2 million Series A round that was announced on July 6.

Brighten Godfrey, CTO at Veriflow, told EnterpriseNetworkingPlanet that his company's platform has added new dynamic mapping capabilities for networks.

"We can now effectively provide what is a Google Maps for networks, where users can see an overview, zoom-in and get increasing amounts of detail and map out what the network is as it is actually built," Godfrey said.

Among the early adopters of Veriflow is a large healthcare firm that has over a dozen engineers that had been spending approximately half of their time, documenting the network manual with diagrams and spreadsheets. Godfrey noted that manually documenting a network is a huge amount of work and is often going to be inaccurate.

"Having network mapping be automated and dynamic is a huge time savings," Godfrey said.

There is also a growing use case for Veriflow's technology to help improve security as well as high-availability in a network. In Godfrey's view, with an increasing number of devices with the Internet of Things, there is a need for great network resiliency and protection.

"An important part of what we do is to verify security segmentation of the network," Godfrey said. "We can help with implementing segmentation so administrators can see what is vulnerable and what needs to improve to be more secure."

In Godfrey's view, most enterprises are not using micro-segmentation strategies today, though it's a direction that many are now headed. Micro-segmentation can often end up making the network more complex and difficult to understand. He added Veriflow has a trial now with a Wall St. financial firm where they are deploying container technologies and are running into challenges around visibility and security policies.

Now as a generally available platform, Veriflow is available in a Software-as-a-Service (Saas) model, on a subscription basis.

Sean Michael Kerner is a senior editor at Enterprise Networking Planet and InternetNews.com. Follow him on Twitter @TechJournalist

Comment and Contribute
(Maximum characters: 1200). You have
characters left.
Get the Latest Scoop with Enterprise Networking Planet Newsletter