On Thu, 19 Sep 2013, Peter N. M. Hansteen wrote: > I remain unconvinced that it's possible to formally verify non-trivial > code to be bug free. You remain free to convince me otherwise or point > me to available verified non-trivial software roughly on par with a > complete operating system.
Precisely. I would think that the effort to make sure that any major process is bug free would be tremendous. Or you could do like I did once. I wrote a system years ago on a VAX for processing and tracking traffic tickets that was on-time and worked really well. The first bug that was discovered turned out to be rather useful and so I left it alone and it became a feature. Unfortunately, that's the only bug I can think of in any of my code that was actually useful. Eric
