AdaCore, a provider of software development and verification tools, has acquired Componolit GmbH, effective as of February 1st, 2021. The…