WIRRAL, England--(BUSINESS WIRE)--LDRA, a leader in automated software verification, traceability and standards compliance, today announced extended support for the RISC-V instruction set architecture ...

WIRRAL, United Kingdom--(BUSINESS WIRE)--LDRA, the leader in standards compliance, automated software verification, source code analysis, and test tools, introduces LDRAunit, an integrated framework ...

WIRRAL, United Kingdom–The China Manned Spacecraft Program (CMSP) selected LDRA, the leading provider of automated software verification tools, and the LDRA tool suite to analyze complex ...

LDRA and MathWorks have integrated the LDRA tool suite with Simulink modelling tools. The integration offers independent verification and full traceability of all artifacts – whether requirements, ...

LDRA, the leader in standards compliance, automated software verification, software code analysis, and test tools, announced LDRA tool suite for Medical Devices, a variant of its leading LDRA tool ...

For more than 40 years, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security-, and ...

San Jose, Calif. – LDRA (ESC booth 2208) has released Java support for the LDRA tool suite. LDRA's Java support enables developers to extend the same software verification and testing tools across the ...

[Avionics Magazine 12-6-2016] Embedded computing solutions provider Richland Technologies (RTL), and software standards compliance company LDRA have announced a new close-working relationship ...

Check out our embedded world 2023 coverage. LDRA announced LDRA tool suite support for NXP Semiconductors' S32G3 series of vehicle network processors. It's targeted at central vehicle computer ...

As the Artemis I uncrewed moon-orbiting mission comes to a successful end, LDRA – the project’s software verification, source code analysis, and testing partner – reiterated its ongoing support in the ...