Brighten Godfrey, Co-Founder and CTO at Veriflow, reviews the software architecture behind the company's formal network verification. The solution is set up ...