“a mistake in it, or it will have a security vulnerability…” — The Pragmatic Engineer at 54:10
“a mistake in it, or it will have a security vulnerability, if there's a mistake in it, then when it's high stakes, things like that, then I feel it's worthwhile to have formal verification and to really make sure that the code really is correct.”
0:00
1:25:00