Re: Might take a while
And we most certainly don't have formal mathematical verification methods
We most certainly do. Formal Methods has been taught at University for decades.
The trouble is, it's extremely expensive; it means that you don't produce very much code, and there is a huge amount of work to be done for every line you do produce. And that means Managment calls you into a meeting room for a little chat about your productivity...
We're not going to improve general software quality until we get TPTB to care about it - and that's not going to happen whilst the criteria for promotion to management positions largely consist of bullshitting and cajoling. We need to get some integrity into our management chains - but integrity seems to be the one thing that is actively avoided by those that pick the promotions...
Vic.