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

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


        

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

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


        

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

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


        

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

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


        

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

We are ! Check today our job opportunities:




        

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

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


        

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

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


        

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

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


        

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

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


        

AdaCore (@AdaCoreCompany) 3 months ago

We are happy to announce that the 2020 release is now available to download! Check out the blog for…


        

AdaCore (@AdaCoreCompany) 3 months ago

this free white paper about how the Ada language fully supports state-of-the-art features & is helping de…


        

AdaCore (@AdaCoreCompany) 3 months ago

Last chance to sign up!


        

AdaCore (@AdaCoreCompany) 3 months ago

Our weekly shout-out is , the first American woman in , selected as an…


        

AdaCore (@AdaCoreCompany) 3 months ago

French speaking software developers📣@adafrance et les sociétés , AdaLog et vous convient…


        

AdaCore (@AdaCoreCompany) 3 months ago

Today, we're championing , a computer scientist who led the on-board flight so…


        

AdaCore (@AdaCoreCompany) 3 months ago

Check out our latest blog 'From Ada to Platinum SPARK: A Case Study for Reusable Bounded Stacks' for a deep dive in…


        

AdaCore (@AdaCoreCompany) 3 months ago

Looking to expand your safe and secure coding skills? Learn how to program in and via our free interact…


        

AdaCore (@AdaCoreCompany) 3 months ago

Kicking off our weekly shout-out is , one of the first of the Ha…


        

AdaCore (@AdaCoreCompany) 3 months ago

Interested in learning about ? Download our free book! A set of guidelines developed jointly by…


        

AdaCore (@AdaCoreCompany) 3 months ago

The HICLASS project led by aims to enable the delivery of the most complex, -intensive, safe a…


        

AdaCore (@AdaCoreCompany) 4 months ago

Calling all French programmers - et les sociétés , AdaLog et vous convient à u…


        

AdaCore (@AdaCoreCompany) 4 months ago

Check out Technical Account Manager, Eric Perlade's interview at about our qualified compilers, providing…


        

AdaCore (@AdaCoreCompany) 4 months ago

Contracts are a natural evolution of Ada’s core design principle, which encourages programmers to develop better co…


        

AdaCore (@AdaCoreCompany) 4 months ago

Interested in learning about high integrity software development? Download our Safe and Secure Software booklet for…


        

AdaCore (@AdaCoreCompany) 4 months ago

Enabling Ada/SPARK on the with GNAT-LLVM by from -


        

AdaCore (@AdaCoreCompany) 4 months ago

A trivial file transfer protocol written in Ada based on the CodeLabs GitHub repository -


        

AdaCore (@AdaCoreCompany) 4 months ago

Medical devices are vulnerable to breaches potentially impacting the of the device. In order…


        

AdaCore (@AdaCoreCompany) 4 months ago

SPARK version of the cryptographic library proven with the GNAT Community 2019 edition -…


        

AdaCore (@AdaCoreCompany) 4 months ago

The DO-178C and FACE [Future Airborne Capability Environment] approaches form a natural union, enabling developers…