Network verification: predicting the future of complex networks

A new kind of automation uses math to help ensure business goals continuously match reality.

networkworld.com