Brighten Godfrey Co-founder & CTO at Veriflow will talk about how the use of formal verification techniques within network infrastructure is becoming a common practice in leading enterprises. In this session, we explore how network verification is utilized to augment and enhance common security procedures and measures – resulting in proactive vulnerability identification, rapid network-wide incident response, and assurance of network-wide intent.