Business Wire

LDRA Announces Extended Support for RISC-V High Assurance Software Quality Tool Suite to Accelerate On-Target Testing of Critical Embedded Applications

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

TASKING Celebrates 1-year Anniversary of LDRA Acquisition with Launch of Complete End-to-End "Compile, Debug, Test" Toolchain for Safety- and Security-Critical Systems

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

LDRA and IAR Systems Target IEC 61508 and IEC 62304 Certification of Small-footprint Architectures

WIRRAL, England--(BUSINESS WIRE)--LDRA, the leading provider of automated software verification, source code analysis and test tools, has extended the interface between the LDRA tool suite and IAR ...
Morningstar

TASKING and LDRA Expedites Safe, Secure eVTOL Certification with All-in-One Productivity Package

LDRA, a TASKING Company, and a leader in automated software verification, traceability and standards compliance, today announced an all-in-one productivity package for the aerospace and defense ...
SpaceNews

LDRA Supports Artemis I Mission Success With Robust Verification & Validation Processes for Orion Spacecraft

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

Tasking introduces complete end-to-end toolchain

Development tool provider Tasking has combined its own tools with those of LDRA, which Tasking acquired a year ago, to create ...
SpaceNews

LDRA Wins $1 Million Contract in China’s Manned Spacecraft Program

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

LDRA Launches LDRAvault to Simplify Enterprise-Wide Software Verification Activities and Artifacts, Accelerate Certification

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

Software dev tool suite adds Java support

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