4 ms·
The problem with the Space Shuttle development methology is that it is insanely expensive and slow and still not 100% bug free. It is so expensive and slow tha
by deterministic 2y ago
The problem with the Space Shuttle development methology is that it is insanely expensive and slow and still not 100% bug free.
It is so expensive and slow that it would be much cheaper, faster, and actually safer to prove the software correct using modern proof assistants.
Projects like seL4, CompCert etc. shows how it should be done.