Company identity
Company number 11581444
Company profile
UK company 11581444, incorporated on 21 September 2018.
Commercial software solutions for Ada, C and C++ | AdaCore
Adacore Ltd is a UK company with status active founded in 2018 based in South West England.
Company number 11581444
Updated 07 Jul 2026 09:49
Reference milestones and recent Companies House filing stream events.
PSC04 | Transaction MzU0MTkxODI0N2FkaXF6a2N4
Published 02 Sep 2026 12:34
AD01 | Transaction MzU0MTkxOTY2OWFkaXF6a2N4
Published 01 Sep 2026 13:40
AD01 | Transaction MzU0MTkxODgxNGFkaXF6a2N4
Published 01 Sep 2026 13:35
Company registered at Companies House
1 May 2023 to 30 Apr 2027
Rolls-Royce has assembled a world-class consortium of UK industry and academia to develop the next generation of microprocessors for use in aerospace and other harsh environments. The next generation of aircraft, designed to meet net-zero targets, will require more complex, intelligent, autonomous, and connected systems, and at the heart of those software...
1 Jul 2019 to 30 Jun 2023
HICLASS is a project to enable the delivery of the most complex software-intensive, safe and cyber-secure systems in the world. It is a strategic initiative to drive new technologies and best-practice throughout the UK aerospace supply chain, enabling the UK to affordably develop systems for the growing aircraft and avionics market expected over the next ...