San Jose, CA. 31 March 2014—LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, announced its ability to provide cost-effective verification of multicore systems to safety-critical standards. With industry’s continued emphasis on reducing size, weight, and power (SWaP), safety-critical systems manufacturers continue to look for ways to achieve full verification and even certification of multicore systems in a cost-effective manner. LDRA’s ability to instrument and capture analysis and test data from such systems breaks through the verification barrier, promising system developers the resources and technology … Read More → "LDRA Brings Safety-Critical Expertise and Full Verification to Multicore Platforms"