LDRA, the leading provider of automated software verification, source code analysis and test tools, and OpenSynergy, specialist in high-quality embedded…