Writing memory-safe code beats patching your way to safety
Multiple layers of verification and human oversight are a start
spectrum.ieee.org
