As the only company to provide a complete structural coverage analysis tool for both application source and assembler code from unit to system and integration levels, LDRA is making it easy for ...

Customers can now move to the latest versions of PowerPC chips and compliers and perform object code verification (OCV), required for DO-178B/C compliance.

LDRA’s support enables software developers to leverage the LDRA tool suite to verify code coverage at both the assembly and source code levels. Today, Arm-based devices are found in many ISO ...

WIRRAL, England--(BUSINESS WIRE)--LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, now offers unprecedented verification of the model ...

The LDRA tool suite for assembly code provides the full range of verification artifacts needed for mission- or safety-critical certification. In addition, the DO-178B Tool Qualification Support ...

Made up of a number of integrated products which assist users with achieving full lifecycle support, LDRA's tool suite will assist Orion developers in software standards checking, analysis of code ...

The integration enables the LDRA tool suite to perform verification to the object code level through Simulink-based testing. The LDRA tool suite can then verify that any discrepancies between source ...

LDRA, the leader in standards compliance, automated software verification, source code analysis, and test tools, and Green Hills Software, the worldwide leader in high assurance operating systems ...

Availability VMM Standard Library object code is available today for VCS users. VMM Standard Library source code, which can be used with EDA tools compliant with IEEE P1800 SystemVerilog, is planned ...

Today, Arm-based devices are found in many ISO 26262–compliant automotive applications up to and including ASIL D, while avionics engineers are also turning to general-purpose Arm processors. By ...