Thank you for sharing, this is an exciting topic. I am curious:

* How would you compare Cisco's product to those offered by companies, such as NetBrain, Veriflow, Forward Networks, Intentionet?

* Does Cisco have a technical paper that describes its underlying network verification technology in more detail? In particular, from an algorithmic point of view, it would be interesting to better understand how it compares to, say, ddNF [HVC'16] and Delta-net [NSDI'17], to cite a few.

Many thanks in advance!