CERN Chooses Coverity to Ensure Accuracy of Large Hadron Collider Software - Coverity - http://www.coverity.com/company...
Coverity found 40,000 defects in the LHC's code. - Michael Nielsen