AdaCore and SofCheck have merged.

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, and also ParaSail, a new Parallel Specification and Implementation Language intended for high-reliability applications on multicore target platforms.

Learn more about the merger   |    Learn about CodePeer   |    Learn about all AdaCore products