This is a neat piece of innovation. The technology was developed at a large university as a research project with two professors and a PhD student. It uses formal verification - the same technique used in verification of program code - that the researchers morphed into what they call "network verification." After the built their first network verification system, they founded the company and, as far as we can tell, never looked back. They created their own algorithms to account for changes (the network is a dynamic beast... always changing). The treat the network as a program. While this is very good, it's challenging to explain to customers who likely are not familiar with formal methods of code and system verification.
展开▼
