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:


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.

Capacitec
Capacitec Gapman Gen3 portable “electronic feeler gauge” measures very small gaps (200 microns) in airframe parts assembly

Peli Hardigg UK
Peli-Hardigg is the world’s largest manufacturer of aerospace approved reusable plastic shipping and storage containers, built to last a lifetime.

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

Indestructible Paint Ltd
A developer and manufacturer of specialist, technology coatings to support the lifetime of aviation, defence and general industry.

See our advertising tariff.

 

8
data pages remaining in monthly quota for non-subscribers

© Airframer Limited, operated under licence by Stansted News Limited 2018. Terms & Conditions of reading. Privacy policy