Bengaluru (Karnataka) [India], March 16 (ANI/PRNewswire): LDRA, the leading provider of automated software verification, source code analysis, unit testing tools, and consultancy services, today announced the enhanced CAST-32A & A(M)C 20-193 validation capabilities of the LDRA tool suite for safety-critical, multi-core processor (MCP) applications