3 ms·
If you are referring to the extensive methodology and formal verification systems used in mission critical software, it is still prone to error and is still not
by anuraj 14y ago
If you are referring to the extensive methodology and formal verification systems used in mission critical software, it is still prone to error and is still not viable for most projects. So the engineering aspect has to still evolve and find cost effective means of ensuring quality software. It should be possible with little more effort and application of mind and is an excellent business opportunity as well.
- nradov 14y agoWhy should it be possible? Brilliant minds have been putting a lot of effort into this problem for decades. They have made some progress, but a little more effort and application of mind isn't going to get us anywhere close to a solution.