AdaCore announces a merger with SofCheck, an automated software quality company. 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.
