LDRA, a provider of automated software verification, source code analysis, and test tools, has launched v8.0 of the LDRA tool suite It claims to be the first fully automated end-to-end solution for…