AdaCore and SofCheck Merge

Posted: February 2, 2012

Ada expert Tucker Taft joining AdaCore as Director of Language Research

AdaCore, a leading supplier of Ada development tools and support services, today announced a merger with SofCheck, Inc., a Lexington, Massachusetts-based automated software quality (ASQ) company. SofCheck’s staff has joined the AdaCore technical team, and SofCheck Founder Tucker Taft has been named as AdaCore’s Director of Language Research. AdaCore has acquired SofCheck’s products, including static error detection tools, the AdaMagic compiler front end technology, and also ParaSail, a new Parallel Specification and Implementation Language intended for high-reliability applications on multicore target platforms.

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. AdaCore’s major product is GNAT Pro, a development environment especially suited for long-lived systems with requirements for reliability, safety, and/or security. SofCheck’s advanced static analysis technology fits in smoothly with GNAT Pro, and prior to the merger the two companies jointly developed AdaCore’s 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, SofCheck’s 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 Tucker’s addition to AdaCore’s 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.”

About SofCheck

Founded by a team of internationally recognized leaders in the development of programming languages and compiler technology, SofCheck has focused principally on the automated software quality (ASQ) domain for its products and services. The company’s tools have enabled software development organizations to build critical systems efficiently, through automated, advanced static error detection without unit testing or style checking. SofCheck has also developed a reusable Ada compiler front end technology that can be easily integrated into software tools. SofCheck Founder Tucker Taft was the lead designer of Ada 95 and a major contributor to the Ada 2005 and Ada 2012 language revisions. Recently, he has been working on the design of the ParaSail language.

About AdaCore

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.