James Brear, CEO at Veriflow, introduces how Veriflow brought formal verification to network infrastructure with original research work back in 2011. The com...