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