"Another hope might be academia, but much of the focus is on program verification, rather than reliability. Well typed software will eliminate some failure classes, but it doesn’t give you robustness."
For anyone who's curious, academic research into verification extends far beyond "Well typed software". For example:
For anyone who's curious, academic research into verification extends far beyond "Well typed software". For example:
Klee: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs [PDF, very approachable] http://www.stanford.edu/~engler/klee-osdi-2008.pdf
That paper is a nice example of how constraint based model checking can provide code coverage well beyond what a human developer can accomplish.