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:


Ascent Aerospace
Ascent Aerospace is the leading provider of aerospace tooling systems, assembly automation and factory integration.

IHS ESDU
Reduce the time spent on current projects by using ESDU – engineering data and software that have been approved and endorsed by professional institutions.

General Plastics Manufacturing Co.
GP has been supplying OEMs, Tier 1 & 2 companies with flame-retardant foam core materials and custom flexible foam molded parts for aircraft flight decks and interior cabins for over 50 years.

Attwater Group
Attwater are manufacturers and machinists of thermoset, high pressure composite sheets to recognised international standards.

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.

 

12
data pages remaining in monthly quota for non-subscribers

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