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

Wisk Aero Acquires Leading Software Firm Verocel

MOUNTAIN VIEW, Calif.--(BUSINESS WIRE)--Wisk Aero, a leading Advanced Air Mobility (AAM) company, announced today it has acquired Verocel Inc., a software verification and validation (V&V) company.
Nasdaq

Cadence Unveils Palladium Z3 and Protium X3 Systems to Usher in a New Era of Accelerated Verification, Software Development and Digital Twins

Cadence’s new dynamic duo offers more than 2X increased capacity and is 1.5X faster than the previous generation, enabling the rapid development of advanced chips for generative AI, mobile, automotive ...
Machine Design

Standardizing Computational Models: Verification, Validation and Uncertainty Quantification

Computational models and simulations have had an important role in engineering analysis since as far back as the 1960s. It is widely recognized that the use of modeling and simulation tools can make ...