Forward Networks – A forward approach to formal verification

Tony Mattke reviews what he saw from Forward Networks at Networking Field Day in November. It’s been a little bit since their presentation, but Tony is still excited when thinking about the implications of formally verifying a network. He wants to see it in testing in the real world before passing final judgement, but the capabilities as described at NFD “should be making you drool”.