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

Designed in partnership with other industry leaders, LDRA’s development and verification tool chain supports RISC-V developers from requirements through deployment and test WIRRAL, UK – October 8, ...

The Software Assurance Marketplace, the SWAMP, is an important resource for improving software development and software assurance activities. Developed with funding from the Department of Homeland ...

There’s no arguing with the fact that acquirers of software need assurances that the software they purchase is safe and stable to use. However, I struggle with the notion that analyzing software and ...

For the last five years or so, I have been actively engaging with the security community in academia, industry, and government to better understand the gaps that exist in software assurance. Working ...

NASA has selected Galaxy Global Corporation of Fairmont, W. Va., to provide support to the NASA Independent Verification & Validation (IV&V) Software Assurance Tools (SWAT) Group at the NASA IV&V ...