AdaCore announces the acquisition of Componolit, effective as of February 1, 2021. The acquisition will provide AdaCore with a further foothold to expand its growing market share in Germany where the requirement for high-assurance software is increasing rapidly. New engineering staff will bring extensive, complementary expertise and experience in cybersecurity and formal methods. The company’s flagship technology, RecordFlux, is a powerful tool used to formally describe, test, and implement binary communication protocols. It will also bring new capabilities to AdaCore’s suite of automated testing and static analysis tools.
Source: https://www.helpnetsecurity.com/2021/02/17/adacore-componolit/