Goodbye to faulty software?This article I discovered via ACM entitled "Goodbye to faulty software?" highlights how often researchers just don't "get it". Here are a few key quotes:"Will it ever be possible to buy software guaranteed to be free from bugs? A team of European researchers think so.""The key lies in an esoteric reformulation of mathematics called ‘type theory’ based on the notion of
↧