AdaCore | Ada/C/C++ tools for critical software (@AdaCoreCompany) 10 hours ago

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


        

AdaCore (@AdaCoreCompany) 2 days ago

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


        

AdaCore (@AdaCoreCompany) 3 days ago

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


        

AdaCore (@AdaCoreCompany) 4 days ago

Last chance to sign up!


        

AdaCore (@AdaCoreCompany) 1 week ago

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


        

AdaCore (@AdaCoreCompany) 2 weeks ago

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


        

AdaCore (@AdaCoreCompany) 2 weeks ago

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


        

AdaCore (@AdaCoreCompany) 2 weeks 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 weeks ago

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


        

AdaCore (@AdaCoreCompany) 3 weeks ago

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


        

AdaCore (@AdaCoreCompany) 3 weeks ago

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


        

AdaCore (@AdaCoreCompany) 4 weeks ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

The Inside AdaCore Jan-June 2020 newsletter is now available! We will be delaying sending out the printed version a…


        

AdaCore (@AdaCoreCompany) 2 months ago

today the NVIDIA GTC On-Demand session “Exterminating Buffer Overflows and Other Embarrassing Vulnerabili…


        

AdaCore (@AdaCoreCompany) 2 months ago

for ’s upcoming on Hardware/Software Reuse Solutions for Modern Avionics Syste…


        

AdaCore (@AdaCoreCompany) 2 months ago

'They Made It with Ada and SPARK' by competition judge


        

AdaCore (@AdaCoreCompany) 2 months ago

Time travel in GNAT Studio with and 's RR (Record & Replay) -


        

AdaCore (@AdaCoreCompany) 3 months ago

Android application with Ada and WebAssembly -


        

AdaCore (@AdaCoreCompany) 3 months ago

Making a remote-controlled car in Ada and SPARK using NXT Mindstorms -


        

AdaCore (@AdaCoreCompany) 3 months ago

🥁and last but certainly not least, the final finalist prize of $600 goes to Philip Munts for their Mod…


        

AdaCore (@AdaCoreCompany) 3 months ago

🥁one of the finalist prizes of $600 goes to Guillermo Guillen for their Ada Robot Car With Neural Netw…


        

AdaCore (@AdaCoreCompany) 3 months ago

🥁 one of the finalist prizes of $600 goes to Laboratorio Gluon for their autonomous firetruck project…


        

AdaCore (@AdaCoreCompany) 3 months ago

🥁 one of the finalist prizes of $600 goes to Blaine Osepchuk for their High Integrity Sumobot project!…


        

AdaCore (@AdaCoreCompany) 3 months ago

🥁 one of the finalist prizes of $600 and the student prize of an Analog Discovery 2 Pro Bundle, goes t…


        

AdaCore (@AdaCoreCompany) 3 months ago

🥁 one of the finalist prizes of $600 goes to Laurent Zhu and Damien Grisonnet for their project CHIP-8…


        

AdaCore (@AdaCoreCompany) 3 months ago

🥁one of the finalist prizes of $600 goes to for their project LoRaDa := Ada + LoRa; !…


        

AdaCore (@AdaCoreCompany) 3 months ago

🥁 one of the finalist prizes of $600 goes to Shahariar for their project Disaster Management with Smar…


        

AdaCore (@AdaCoreCompany) 3 months ago

🥁 one of the finalist prizes of $600 goes to Team CryptAda for their project CryptAda - (nuclear) cryp…


        

AdaCore (@AdaCoreCompany) 3 months ago

🥁 1st prize of $2000 goes to John Singleton for his project The Smartbase - an adjustable bed for…


        

AdaCore (@AdaCoreCompany) 3 months ago

The judging for the competition is now complete and winners have been announced! 📣 See all of the fina…


        

AdaCore (@AdaCoreCompany) 3 months ago

Last day of which is also StudentDay! Stop by our booth 4-149 check out our demos, our open posi…


        

AdaCore (@AdaCoreCompany) 3 months ago

Congratulations to the winner of the day Liselotte Verhulst! Thank you for playing sudoku with us. Your prize is wa…


        

AdaCore (@AdaCoreCompany) 3 months ago

Interested in learning more about and programming languages? Stop by our booth 4-149 a…


        

AdaCore (@AdaCoreCompany) 3 months ago

Day 2 of – stop by our booth 4-149 and pick up some of our books to learn how to build high i…


        

AdaCore (@AdaCoreCompany) 3 months ago

And here’s our lucky winner! Congratulations Tihanyi Geegely and thank you for playing with Ada!


        

AdaCore (@AdaCoreCompany) 3 months ago

Last chance to win a LEGO CREATOR playing sudoku today! Winner will be announced soon, stay tuned!


        

AdaCore (@AdaCoreCompany) 3 months ago

Every Day of we will be running a SUDOKU game competition. Stop by Stand 4-149 for your chance to w…


        

AdaCore (@AdaCoreCompany) 3 months ago

We are ready to welcome you Meet us on Stand 4-149 and learn how AdaCore can help you build softw…


        

AdaCore (@AdaCoreCompany) 3 months ago

Meet the team on Stand 4-149 at exhibition in Nuremberg, German…


        

AdaCore (@AdaCoreCompany) 3 months ago

The team are pleased to announce that three of our signature software development/verification tool…


        

AdaCore (@AdaCoreCompany) 3 months ago

Meet the team at from 25-27 February 2020 at the ürnberg exhibitio…