Veriflow brought formal verification to network infrastructure for the first time. Veriflow predicted outages before they impacted the business, and vulnerabilities before they were exploited, allowing IT teams to operate secure and resilient networks.

Partners

explore more

More Companies

 

 

Acme Packet

Acme Packet provided next-generation voice, data, and unified communications services and applications across IP networks.
Acquired by Oracle

Appdome

Appdome is a no-code security and fraud prevention platform for native and non-native Android and iOS apps.
Appdome is a no-code security and fraud prevention platform for native and non-native Android and iOS apps.

Milestones

  • 2012 - Founded
  • 2015 - Partnered, Series A

F5

F5 offers integrated traffic management software-based solutions.
NASDAQ: FFIV

NET

Network Equipment Technologies (NET) provides leading-edge session mediation products for unified communications and voice over IP solutions in large enterprise and government organizations.
NASDAQ: NWK

Great companies are being built by amazing teams.