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

LDRA Partners with Dassault Systèmes to Simplify Verification and Certification of Safety and Security-Critical Software

WIRRAL, England--(BUSINESS WIRE)--LDRA, a leader in automated software verification, traceability and standards compliance, today announced the LDRA TBmanager Integration Package (TIP) for No Magic ...
EDN

DDC-I Best-in-Class RTOS to be Integrated with LDRA Analysis and Test Tools for Safety-Critical Applications

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

LDRA tool suite supports integration with the Analog Devices VisualDSP++ software development environment

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++ ...
Business Insider

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

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

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

LDRA, a TASKING Company

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

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