While some languages are safe or safer now, the concerns of correctness and robustness are not solvable by unit testing or code coverage alone. Other holistic l

While some languages are safe or safer now, the concerns of correctness and robustness are not solvable by unit testing or code coverage alone. Other holistic layers of smoke testing, property testing/fuzzing, integration testing, and user acceptance testing (UAT) must be included. Robustness means making the code defensible and easy to understand, test, refactor, and modify. Where there is most deafening silence in the area of proving correctness of the codebase and of the resulting binaries. seL4, klee, fp, and coq ran in the right direction with this in some aspects, formal verification still hasn't become a standard practice because the level of effort is still costly and tools to accomplish this aren't readily available.