AdaCore has merged with SofCheck, a Massachusetts-based automated software quality company.
The Ada software tool specialist 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.
Both firms have been involved in the design of the Ada programming language and they have complementary software development tools.
"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.
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.”
“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,” said Dewar.
www.adacore.com