AdaCore and SofCheck personnel share a long and direct involvement in the design of the Ada programming language, and the two companies have specialized in software development tools that nicely complement each other. AdaCores major product is GNAT Pro, a development environment especially suited for long-lived systems with requirements for reliability, safety, and/or security. SofChecks advanced static analysis technology fits in smoothly with GNAT Pro, and prior to the merger the two companies jointly developed AdaCores CodePeer product, an efficient and accurate code reviewer that incorporates the SofCheck static analysis engine.
"AdaCore and SofCheck have worked towards common goals for a very long time," said Tucker Taft, SofChecks Chairman and Founder. "This merger is a natural next-step for both our companies: the whole SofCheck team is very excited to be joining up with AdaCore where together we can continue adding capabilities to the industry-leading CodePeer static analysis technology, while creating new offerings for customers building and certifying high-integrity software as they move into the multicore era."
"Our complementary skills, shared history, and dedication to the software engineering principles supported by the Ada programming language have made this merger a positive, seamless experience for both companies," said Robert Dewar, AdaCore President and CEO. "We particularly welcome Tuckers addition to AdaCores existing team of experts, which will help us move forward with our joint goal of improving software engineering capabilities for developers of safe, secure, and highly-reliable software applications."