AdaCore’s business is centred around helping developers build safe, secure and reliable software. With nearly three decades of experience working with the most respected companies in industries such as aerospace, defence, security, space and more, they build tools and provide services that ease the complex and often difficult process of developing high-integrity software.
AdaCore’s product portfolio provides development teams with full-featured, multi-language software construction and verification tools, along with world-class technical support from our global team of experts.
AdaCore’s UK technical centre-of-excellence supports the UK’s thriving aerospace and defence industries through collaborative research and development initiatives. Currently, AdaCore is a partner in HICLASS, a £32m investment program, led by Rolls-Royce Control Systems. HICLASS aims to drive new technologies and best-practice throughout the UK aerospace supply chain, enabling the UK to continue to affordably develop safe, secure and state of the art avionics systems. Find out more about this project here.
Collaboration has always been at the centre of AdaCore’s business, as demonstrated through their pioneering involvement in the Open Source Software movement. They are proud to have been associated with the Ada programming language from the beginning and now support a growing number of other languages. Through AdaCore’s contributions to platforms such as GitHub, they continue to embrace this collaborative and dynamic interaction with both users and Open Source technologies.
Join AdaCore at the first virtual High Integrity Software conference about continuing innovation in the face of global challenge, brought to you by AdaCore and Altran. Taking place on November 17th, you can register today for this free event here.
AdaCore Technologies in Action:
- Airbus Helicopters Selects AdaCore Tools and the Ada Programming Language to Develop Software Components for the VSR700 Prototype Project
- AdaCore Introduces Support for C and C++ Toolchains
- European Space Agency Selects AdaCore’s Qualified Multitasking Solution for Spacecraft Software Development
Free Learning Resources for Your Teams:
- AdaCore’s online library of books
- Interactive learning platform to teach the Ada and SPARK programming languages
Managing Director of AdaCore Ltd