BOSTON & NEW YORK & PARIS--(BUSINESS WIRE)--AdaCore, today released CodePeer 3.0, a major new version of its advanced static analysis tool for the automated review and validation of Ada source code.