Carlos E. R. wrote:
On 2014-12-09 09:46, Per Jessen wrote:
Carlos E. R. wrote:
I read a report time ago about a company, British, I think, that guaranteed perfect code.
There tools such as formal programming, but I have not heard of anyone actually making productive use of it. It's too cumbersome, but in theory you can _prove_ that your code does exactly what it is specified to do. Now we just hope you have a perfect spec to write to, hahaha.
Yes, that's what this company did, for crucial things such as credit card authentication. And apparently making money.
We're straying off-topic, my final comment - I studied formal programming very briefly in the early 90s, back then it was more thought to be of use for anywhere where human life would depend on the software being correct, e.g. nuclear plant operations, train or plane ditto. ISTR recall a book by Anne Kaldewaij on formal methods. -- Per Jessen, Zürich (3.1°C) http://www.dns24.ch/ - free dynamic DNS, made in Switzerland. -- To unsubscribe, e-mail: opensuse+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse+owner@opensuse.org