Tim Miller wrote up his thoughts on what he saw from Forward Networks at Networking Field Day last year. Their solution is billed for providing network assurance, which they break down into correctness and performance. Their presentation focused on correctness, which they use sophisticated modeling to formally verify. Tim reviews the implications of their Forward Platform in terms of business intent, highlights their strong search functionality, and predication engine.