AdaCore acquires Componolit to expand its market share in Germany
Summary
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. Componolit technology will also bring new capabilities to AdaCore’s suite of automated testing and static analysis tools. “RecordFlux enables us to bring the benefits of our formal methods technologies to communication systems developers so that they can develop highly secure network layers for their most critical applications.” “In the expanding world of connected objects, autonomous cars, and unmanned air vehicles, securing the software that controls these devices is one of the biggest challenges of the industry,” said Cyrille Comar, Co-founder and President of AdaCore Europe. Integrating RecordFlux with AdaCore’s technologies will enable customers to avoid software bugs in their communication layers, better protecting the boundaries of their network-enabled critical systems against cyberattacks.”
Classifications
AskAI Classifications
LabelsLinked Companies
