What Happens When the World is Run on Code No One Understands?

Building the infrastructure to make verification routine is now a national-scale engineering problem.