3 ms·
> ... don't value correctness or security enough Wrong. It is the market that doesn't value correctness or security enough. We have the tools (formal verifica
by deterministic 2mo ago
> ... don't value correctness or security enough
Wrong. It is the market that doesn't value correctness or security enough.
We have the tools (formal verification) to create bug free software (see seL4 and CompCert for example). However customers are not willing to pay for the extra cost needed.