AdaCore (@AdaCoreCompany) 4 days ago

Running Ada on an Feather board by -


        

AdaCore (@AdaCoreCompany) 5 days ago

is pleased to announce that it will be sponsoring this year’s (#Embedded Real Time Software and Syst…


        

AdaCore (@AdaCoreCompany) 6 days ago

Witnessing the Emergence of a New Ada Era: a deep dive into new projects within the and established use…


        

AdaCore (@AdaCoreCompany) 1 month ago

How to succeed in the business while giving away the . Read about the experience in…


        

AdaCore (@AdaCoreCompany) 2 months ago

Happy Holidays to all of our customers, industry partners and Ada/SPARK community members around the world from eve…


        

AdaCore (@AdaCoreCompany) 2 months ago

It's day two of the Summit, and we look forward to sharing our and technologies with more member…


        

AdaCore (@AdaCoreCompany) 2 months ago

AdaCore for HICLASS, a £32m UK funded research project to enable the development of complex and secure…


        

AdaCore (@AdaCoreCompany) 2 months ago

It's day one of the in San Jose. If you are attending the show, stop by and see us in Booth 3…


        

AdaCore (@AdaCoreCompany) 2 months ago

Selects 's for Critical . Model-based engineering toolsuite bri…


        

AdaCore (@AdaCoreCompany) 2 months ago

Today marks the birthday of , the world's first computer programmer! Let's celebrate her work, opening…


        

AdaCore (@AdaCoreCompany) 2 months ago

We are celebrating Ada Lovelace birthday today! She is commonly regarded as the world’s first . Check mo…


        

AdaCore (@AdaCoreCompany) 2 months ago

will be exhibiting on Booth 310 at this year’s RISC-V Summit. Brought to you by the RISC-V Foundation and…


        

AdaCore (@AdaCoreCompany) 2 months ago

helps gain a deep understanding of their and build more reliable and secure s…


        

AdaCore (@AdaCoreCompany) 2 months ago

Our joint webinar with is tomorrow! Don't miss this opportunity to learn about their experience using…


        

AdaCore (@AdaCoreCompany) 2 months ago

are either safety critical or mission critical, and most have hard real-time constraints. This m…


        

AdaCore (@AdaCoreCompany) 2 months ago

This morning's Tech Days Boston's speakers presented an R&D project using SPARK and Ada, demos of GNATtest and GNAT…


        

AdaCore (@AdaCoreCompany) 2 months ago

Day two of Tech Days Boston is off to a great start as Keynote speaker Raymond Richards of DARPA discusses The Role…


        

AdaCore (@AdaCoreCompany) 2 months ago

Learn how and are Securing the Future of Safety and Security of Embedded Software in…


        

AdaCore (@AdaCoreCompany) 2 months ago

This afternoon's Tech Days Boston was packed with high-quality sessions! Topics covered everything from GNAT Pro an…


        

AdaCore (@AdaCoreCompany) 2 months ago

This morning's Tech Days Boston talks focused on Cyber Security, Static Analysis, and Fuzzing ,…


        

AdaCore (@AdaCoreCompany) 2 months ago

Dhawal Kumar, Principal System Software Engineer of NVIDIA presented today's Tech Days Boston Keynote on SPARK Ada…


        

AdaCore (@AdaCoreCompany) 2 months ago

Tech Days has now started! We are very excited to present the latest news about the company's product offer…


        

AdaCore (@AdaCoreCompany) 3 months ago

Looking forward to tomorrow's Tech Days event. technical staff will present the la…


        

AdaCore (@AdaCoreCompany) 3 months ago

An expedition into showing how effective can be when writing software development tools -…


        

AdaCore (@AdaCoreCompany) 3 months ago

AdaCore now supports embedded environments with C ++


        

AdaCore (@AdaCoreCompany) 3 months ago

's product line now supports the development of written in C++. Projects using C…


        

AdaCore (@AdaCoreCompany) 3 months ago

We’re delighted to be part of the project to enable the delivery of the most complex software-intensive, s…


        

AdaCore (@AdaCoreCompany) 3 months ago

And we’re off! is underway. George Romanski from talking about building trust in software usi…


        

AdaCore (@AdaCoreCompany) 3 months ago

On the 13th-14th November will hold its Tech Days event. technical staff will pres…


        

AdaCore (@AdaCoreCompany) 3 months ago

. has created a one stop shop for articles about and resources for learning and -…


        

AdaCore (@AdaCoreCompany) 3 months ago

Congratulations to from who won the at the Spa…


        

AdaCore (@AdaCoreCompany) 3 months ago

Join us today at the Space Forum in Noordwijk, Netherlands and get the chance to win a Creator…


        

AdaCore (@AdaCoreCompany) 3 months ago

is a sponsor of and exhibitor 's Forum 2019 – Europe, taking place at the Rad…


        

AdaCore (@AdaCoreCompany) 3 months ago

co-founders know there's something wrong with . And they've fixed it.…


        

AdaCore (@AdaCoreCompany) 3 months ago

The AdaCore UK team are now based in the southwest of England, a growing regional hub for and c…


        

AdaCore (@AdaCoreCompany) 3 months ago

"Part of our core expertise at AdaCore is to integrate multiple technologies as smoothly as possible and make it a…


        

AdaCore (@AdaCoreCompany) 4 months ago

Our very own Michael Frank shows us how he learned to program in using the algorithmic mod…


        

AdaCore (@AdaCoreCompany) 4 months ago

Only a few weeks to go until . THE event for high-integrity software in the UK. For those building safe…


        

AdaCore (@AdaCoreCompany) 4 months ago

language pointer support update! How to define pointer-based data-structures in SPARK and how to traverse th…


        

AdaCore (@AdaCoreCompany) 4 months ago

Let's welcome our second guest Stephane Carrez , introducing for at the !




        

AdaCore (@AdaCoreCompany) 4 months ago

Great time at the !




        

AdaCore (@AdaCoreCompany) 4 months ago

We are very excited to welcome one of our customers, Alexander Senier, of Componolit. His presentation: "Closi…


        

AdaCore (@AdaCoreCompany) 4 months ago

Meanwhile in Toulouse.. we are presenting a qualified multitasking solution for spacecraft development at…


        

AdaCore (@AdaCoreCompany) 4 months ago

Nice crowd this morning at the




        

AdaCore (@AdaCoreCompany) 4 months ago

We are now presenting our Product Update at . Learn what's new about GNATPro, CodePeer, SPARK Pro…


        

AdaCore (@AdaCoreCompany) 4 months ago

Have you seen our and ? Come and check it at our demo table at the !




        

AdaCore (@AdaCoreCompany) 4 months ago

has now started! We are now presenting the Market Perspective.




        

AdaCore (@AdaCoreCompany) 4 months ago

European Space Agency Selects AdaCore’s Qualified Multitasking Solution for Spacecraft Software Development…


        

AdaCore (@AdaCoreCompany) 4 months ago

ESA Selects AdaCore for Spacecraft Software Development Solution


        

AdaCore (@AdaCoreCompany) 4 months ago

European Space Agency Selects AdaCore’s Qualified Multitasking Solution for Spacecraft Software … via