
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