Componolit is a trustworthy software engineering and formal verification services for security-critical systems, headquartered in Dresden, Germany, founded in 2017.
Componolit was acquired by AdaCore (2021-02-17).
Data from The Signal by Return on Security — cybersecurity funding, M&A activity, and company intelligence.