Log in to use our free company, program and sector update tracker feature.

Front page

New version of static analysis tool

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. CodePeer 3.0 includes a variety of enhancements that help developers detect potential run-time and logic errors early in the software life cycle; and its deep analysis can directly support formal certification against industry-specific safety standards.

The new benefits of CodePeer 3.0 include tool qualification material for both the avionics and railway domains. The full release can be viewed here: AdaCore Releases CodePeer 3.0

Press release issued by AdaCore on May 6, 2015


 Contact details from our directory:
AdaCore Computer-aided Design


 Related directory sectors:
Design Software

Enhanced listings:

United Performance Metals
A global distributor and processor of titanium products for over 40 years, and a leading supplier to the aerospace industry

USA Borescopes
USA Borescopes is a global supplier of world class visual inspection equipment. We are the one stop source for aviation professionals.

Belden Universal
Specialty universal joints and drive shafts, designed to satisfy even the most rigorous operating criteria. Belden Universal is AS9100C certified.

The leading provider of heat treatment services worldwide. Bodycote offers high quality, reliable and cost-effective services to manufacturers whatever their size or market sector.

Dexmet Corporation
Dexmet MicroGrid® an innovative product line that help improve the composite aircraft withstand the rigors of a lightning strike

See our advertising tariff.


Monthly page limit exceeded. Please buy a subscription.

© Copyright of Airframer Limited, operated under licence by Stansted News Limited 2016. Terms & Conditions of reading.