AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 1 week ago

Did you know that Ada is an ideal programming language for developing safety-critical applications? Learn more abou…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 1 week ago

Register for the High Integrity Software conference before August 11th to take advantage of the discounted early bi…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 weeks ago

Learn how to use the Ada programming language with our Pro Ada Training! 5 days of live lectures from experts and h…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 weeks ago

Access the new draft Ferrocene Language Specification and find out how we are partnering with to de…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 3 weeks ago

The 2nd edition of our programming competition has started! To participate, submit a software project using Ada and…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 1 month ago

We're delighted to be sponsoring the once again, which is making its long awaited physical comeback this…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 months ago

Florian Gilcher from and Yannick Moy from presented “Dynamic Memory Management in critic…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 months ago

Join us from June 1st and June 2nd at , where our experts will be on hand to show how you can build bette…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 3 months ago

The SINA Communicator H demonstrates how systems can be designed to ensure correctness-by-construction…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 3 months ago

Exclusive invitation for GNAT Academic Program (GAP) Members. Attend our free, virtual GAP Workshop on June 21, 202…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 3 months ago

Join us at the 's flagship event where our experts will be on hand to discuss all th…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 4 months ago

We're delighted to be part of supporting & on the Tempest future combat ai…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 4 months ago

With our new GNAT Suite you get early access to emerging technologies, such as…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 4 months ago

Secure the longevity of your software with our 'sustained branch' service! As part of our GNAT Pro Assurance soluti…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 4 months ago

Are you interested in learning the language? Join one of our upcoming Pro Ada Trainings which will…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 5 months ago

Our interactive e-learning platform, designed to teach the Ada & SPARK programming languag…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 5 months ago

Paul Jarrett, winner of the Ada Crate of the Year 2021, shares his experience learning Ada and developing a tool wi…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 5 months ago

Meet certification requirements with GNAT Pro Assurance! Our premium development toolchain is now…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 5 months ago

Code coverage, unit testing tools, fuzz testing - all in one bundle! Our new GNAT Dynamic Analysis Suite integrates…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 5 months ago

Interested in video game development with Ada? Check out Part 2 of the Ada GameDev blog post series by !…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 5 months ago

Catch bugs earlier, save money in the long run! The earlier that errors are detected, the cheaper they are to corre…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 5 months ago

In partnership with , we want to bring a safety-certified toolchain to the high integrity…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 5 months ago

Interested in video game development with Ada? Check out Part 1 of the Ada GameDev blog post series by !…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 6 months ago

! Would you like to join the AdaCore team? Check out our open positions:


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 6 months ago

Announcing the availability of GNAT Dynamic Analysis Suite - a powerful bundle of analysis, testing, verification &…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 6 months ago

The GNAT light runtime library is a version of the runtime library targeted at platforms & certification.…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 6 months ago

Do you want to build safe, secure & reliable ? Ada has a long and successful history in high-assurance sys…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 6 months ago

We're joining forces with to develop Ferrocene - a safety-qualified toolchain, offering an op…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 6 months ago

Once again we'll be part of , where thousands of developers of free and software will gather onl…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 6 months ago

The Future is Bright for Ada/SPARK with Alire! ✨Congratulations to the winners of our new programming competition 👏…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

Check out part 4 of our Ada for the series, where we look at simple examples to learn how to program the…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

We have put in place a (CoC) to ensure a positive environment for everyone willing and wanting to in…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

A code obfuscator is a method of sharing coding discussions of real-world examples without giving away proprietary…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

Check out part 3 of our Ada for the series! In this third part, we will see how to control the output sta…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

A code obfuscator is a method of sharing coding discussions of real-world examples without giving away proprietary…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

Check out part 2 of our weekly Ada for the micro:bit blog series!


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

AdaCore is the Premier Sponsor of FACE™ and SOSA™ Technical Interchange Meeting, which will take pl…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

Did you know that Ada & SPARK support the BBC ? Making it easy for anyone to get started with these progra…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

Check out our free course "Intro To SPARK", an interactive introduction to the SPARK programming language and its f…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

Happy World Developers and ! Here's to all programmers 🙌 and a special shout-out those programming i…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

Our GNATcoverage tool now has instrumentation support & this blog (part 2 of our instrumentation series) demonstrat…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

We are proud to announce that our QGen Model-Based Development Toolsuite received the Platinum - Honoree award in t…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

Introducing instrumentation support in GNATcoverage for Ada sources! With versatile coverage analysis capabilities,…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

.@AirbusHeli selected our GNAT Pro tool suite & the language targeted to 's to d…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

Learn the programming language designed for safe & secure software development with our free course 'Introduction t…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

FACE™ aims to reduce avionics system life cycle costs through software component reuse. As Principal members of the…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

The Global Forum 2020 is finally here! Come and visit our booth:


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

Download this free book to learn about , a programming language & toolsuite that brings mathmatics-based c…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

Register for the on Sept 3rd! We are happy to sponsor this virtual event to continue bringing the…


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 years ago

Take on the toughest software challenges with confidence! is a complete development environment for produ…