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 ...

BOSTON--(BUSINESS WIRE)--LDRA, the leading provider of automated software verification, source code analysis, test tools and consultancy services, today announced LDRA tool suite support for NXP’s ...

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 ...

WIRRAL, UK, April 08, 2024 (GLOBE NEWSWIRE) -- WIRRAL, UK—April 8, 2024—LDRA, the leader in automated software verification, traceability and standards compliance, today launched domain-specific ...

The LDRA tool suite from LDRA - a TASKING Company is the software winner of VDC Research’s 2025 “Embeddy” Award, presented to companies announcing important advances and innovations for embedded ...

WIRRAL, UK, April 08, 2024 (GLOBE NEWSWIRE) -- WIRRAL, UK—April 8, 2024—LDRA, the leader in automated software verification, traceability and standards compliance, today introduced LDRAvault to ...

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 ...

Software code analysis and test tools firm LDRA will demonstrate at Embedded World this week is tool suite integrated with the Green Hills IDE and RTOS for automotive, industrial safety and medical ...

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 ...

Java support has been added to the LDRA software tool suite for automated verification, source code analysis, and testing. The support enables the same software tools across the entire application, ...