Peter O'Hearn: Continuous Reasoning: Scaling the impact of formal methods

Plenary lecture at the Federated Logic Conference, 9 July 2018 - see http://www.floc2018.org/speaker/peter-ohearn/ for details.