http://www.scientificcomputing.com/news-IN-CERN-Chooses-Coverity-to-Ensure-Accuracy-of-Large-Hadron-Collider-Software-092711.aspx?et_cid=2147068&et_rid=41409425&linkid=http%3a%2f%2fwww.scientificcomputing.com%2fnews-IN-CERN-Chooses-Coverity-to-Ensure-Accuracy-of-Large-Hadron-Collider-Software-092711.aspx