Press Release
Oct 23 '14
AdaCore’s CodePeer Static Analysis Tool Earns Qualification for Software Verification in Avionics, Railway
Posted by AdaCore
AdaCore’s CodePeer advanced static analysis tool for the automated review and validation of Ada source code has been qualified as a software verification tool for developers in both avionics and railway industries.
