Solutions

These techniques go back decades and have been given various names: Formal Methods, High Assurance Software, Evaluation Assurance Levels, et. al.

Those who want really reliable software will find that they must find means of avoiding the majority of bugs to start with, and as a result the programming process will become cheaper.

Techniques and Technologies

• Language-theoretic Security

Does it Work

• Making Software ‘Correct by Construction’ - Professor Martyn Thomas CBE (YouTube)
• Tokeneer | AdaCore

HACMS

• DARPA High-Assurance Cyber Military Systems (HACMS)
• The HACMS program: using formal methods to eliminate exploitable bugs - PMC
• HACMS MH-6 Little Bird helicopter - YouTube