Harvey M. Friedman: Perspectives on formal verification (invited talk). CPP 2016: 1