3 ms·
To create really reliable software you either use formal methods (seL4 kernel, CompCert etc.) or you spend a huge amount of money and work really slow. NASA is
by mbrodersen 10y ago
To create really reliable software you either use formal methods (seL4 kernel, CompCert etc.) or you spend a huge amount of money and work really slow. NASA is spending a lot of money and working really slow. In other words, they are not in any way state-of-the-art. Just brute force.