Comment Re:Pwn2Own rocks. (Score 1) 148
You need to change your basic premise: There is no possible way to prove that software is bug free. The best you can do is to test a piece of software and then fix the problems that you find. Software verification and validation are tough problems.