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.