Friday, January 16, 2004


Another one from The Economist (this is a freakn good mag), on bugs/testing/code culture etc...

Yeah I know I'm going a bit overboard here with links, but it's all good stuff :-)

Proving programs - have you heard of this? I have not been able to figure this one out. I had a course where we dabled a bit in this, but nothing got through. Dyou guys have any clue on how a program is proved?

Right now, software is only tested, not proved. The difference, I guess, is that testing can only handle a limited set of cases/paths, but when you prove something it's for every case. But the process is still a mystery to me. I can't visualize it in my mind.