Advertisement
News
Advertisement

AdaCore and SofCheck Merge

Tue, 01/10/2012 - 1:13pm
Posted by Chris Warner

LISTED UNDER:

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. SofChecks staff has joined the AdaCore technical team, and SofCheck Founder Tucker Taft has been named as AdaCores Director of Language Research. AdaCore has acquired SofChecks 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. 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." 

Advertisement

Share this Story

X
You may login with either your assigned username or your e-mail address.
The password field is case sensitive.
Loading