This software should be open sourced for peer review. It's too critical a system for a black box.
Didn't open-source systems like SSL take quite some time before vulnerabilities like heartbleed surfaced as code-bugs/code-vulnerabilities?
Also to directly address the issue of critical systems and robustness, am not sure how far reaching open-sourcing might be in tending to issues.Are there projects that have made the transition for good?