What do successful applications of formal methods look like? And what role do motivation, models, correctness goals, and logical thinking play? Dr. Matt Wilding discusses these questions using four examples: functional equivalence, mixed reality, network configuration, and systems engineering.

The full recording can be found here:

Dr. Matt Wilding is program manager at the US-American Defence Advanced Research Projects Agency (DARPA).