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, UK – 25 June 2009. LDRA, the leading provider of automated software verification, source code analysis, and test tools, has integrated the LDRA tool suite with the Analog Devices VisualDSP++ ...

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

Collaboration targets mission- and safety-critical applications in the aerospace, defense, telecom, power plant, medical, automotive, and industrial control markets Phoenix, AZ and Wirral, UK.

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

The TASKING toolchain seamlessly unlocks the full potential of the combined tools, enabling CI/CD-capable certified workflows with AI to optimize development from requirements to compliance while ...

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

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

The LDRA tool suite with BlackBerry QNX SDP 8.0 enables developers to accelerate high performance, functionally safe and secure robotic and industrial control applications Today’s automotive, robotics ...

The TASKING toolchain seamlessly unlocks the full potential of the combined tools, enabling CI/CD-capable certified workflows with AI to optimize development from requirements to compliance while ...