> Humanity currently lacks the means to verify "deep" properties of code at any reasonable scale. This is an active area of research. Papers are regularly bein

> Humanity currently lacks the means to verify "deep" properties of code at any reasonable scale. This is an active area of research. Papers are regularly being published (e.g. in the OSDI/SOSP community) that increase the depth or breadth of formal verification. Personally, I don't think we'll ever reach a point where all (or even most) code is formally verified, but it does seem to be making some traction.