Contact the publisher of this press release LDRA Brings Safety-Critical Expertise and Full Verification to Multicore Platforms