AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 3 weeks 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) 3 weeks 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) 3 weeks 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) 4 weeks 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) 4 weeks 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) 1 month ago

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


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 1 month 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) 1 month 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) 1 month 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) 1 month 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) 1 month 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 months 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 months ago

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


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 months 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 months 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 months 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 months ago

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


        

AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 2 months 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 months 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 months ago

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


        

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

Our advanced tools manage risks while minimizing costs. is capable of finding safety & se…


        

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

The 2020/21 contest is now open so it's a great time to look back at the winning projects from last ye…


        

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

Our is Charles Babbage, also known as the "Father of the computer". He was a mathematician, phil…


        

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

.@LASPatCU selected the language & AdaCore’s GNAT Pro development environment to implement the comm…


        

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

We're sponsoring 's Tech Talks & presenting 'Portability & High Assurance For Airborne Software: The…


        

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

The 2020/21 competition is here! We’re calling on developers across the globe to build cool embedded a…


        

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

If you program in or , it's worth considering Ada as a safer & more secure way to develop software! Downl…


        

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

Relaxing the Data Initialization Policy of by our expert, Claire Dross. This new feat…


        

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

Our weekly is Annie J. Easley, one of the first African-Americans to work as a computer scientis…


        

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

How to Succeed in the Software Business While Giving Away the Source Code? This paper presents the AdaCore experien…


        

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

Why program in Ada? In short, because you want to write reliable & efficient code, with confidence that it works! S…


        

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

Our is Barry W. Boehm, American software engineer, prof of computer science, industrial & system…


        

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

Download this free white paper to discover how AdaCore’s commercially supported C and C++ toolchains are positioned…


        

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

Our is Frances E. Allen, the first woman to win the , the highest honour in computer…


        

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

Ahead of launching 2020/21, we're looking back at last year's competition winners. This week we have S…


        

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

Did you know that programming in Ada has a positive impact on controlling costs? The webinar '…


        

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

Our is Limor Fried, founder of . She has received multiple awards including most Influ…


        

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

Check out Brandon Lewis' Embedded Toolbox ft Rob Tice, . This podcast demonstrates how code written…


        

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

Ahead of launching 2020/21, we're looking back at last year's competition winners. This week we have T…


        

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

We are ! Check today our job opportunities:




        

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

Today we celebrate by commemorating Ada Lovelace, commonly regarded as the worl…


        

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

Japan have adopted our tools to reduce development & verification costs for safe systems!…


        

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

Today's is , known for her research in applied science & AI. She is recognized…


        

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

Now available online - "Attaining High Assurance for FACE™ Software: a DO-178C Perspective " by Ben Brosgol, as par…


        

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

📣 Announcing the availability of Labs - These exercises are complementary to the Introduct…


        

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

Ahead of launching 2020/21, we'll be looking back at last year's competition winners. First up is John…


        

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

, with its support for zero-footprint runtimes & embedded devices, is well suited for formally-verified OS de…


        

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

Ada & SPARK are designed to emphasize readability, understanding & verification, all essential when developing cybe…


        

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

Join us live on June 4th at 13:30 CEST for our “Confident Algorithms with Formal Proof Techniques” web…


        

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

Our weekly shout-out is Frances V. Spence, one of the original programmers for the