(Source: Broadway World) Customers have long relied on AdaCore’s tools and services when producing safety-critical or high-security software, and our V17.1 product line marks a …