AdaCore (@AdaCoreCompany) 1 week ago

Applying functional correctness proof to I/O behavior for complex, applications -…


        

AdaCore (@AdaCoreCompany) 3 weeks ago

Our partners at the VDA Automotive Sys Conference working with us to implement Ada and SPARK for select…


        

AdaCore (@AdaCoreCompany) 3 weeks ago

We are ready to welcome you at VDA Automotive SYS Conference! Stop by to chat about maximal software security with…


        

AdaCore (@AdaCoreCompany) 4 weeks ago

AdaCore’s GNAT cross-development environment for the microsatellite project, launching September 2019! 🛰️…


        

AdaCore (@AdaCoreCompany) 1 month ago

Tonu Naks presenting the QGen qualifiable at




        

AdaCore (@AdaCoreCompany) 1 month ago

It is great to meet with the Ada Community again this year and be hosted by GE in Warsaw. We are proud to support…


        

AdaCore (@AdaCoreCompany) 1 month ago

Our partners from presenting contract-based design and verification using




        

AdaCore (@AdaCoreCompany) 1 month ago

Join us in evolving the and programming languages! We've set up a platform to collect, discuss and proc…


        

AdaCore (@AdaCoreCompany) 1 month ago

Our new partner adds MultiZone™ security to the AdaCore software ecosystem to enable the secure execution…


        

AdaCore (@AdaCoreCompany) 1 month ago

Once again this year, AdaCore will be sponsoring the 24th International Conference on Reliable Software Technologie…


        

AdaCore (@AdaCoreCompany) 1 month ago

We're at RSSRail 2019, Lille, France. Come to our booth and learn how we can help you build safe and secure rail so…


        

AdaCore (@AdaCoreCompany) 1 month ago

As members of the RISC-V Foundation we are proud to announce that we'll be exhibiting at the RISC-V Workshop in Zur…


        

AdaCore (@AdaCoreCompany) 2 months ago

Hex Five Adds MultiZone™ Security to the AdaCore Software Ecosystem, Providing Ada Developers with a Robust Executi…


        

AdaCore (@AdaCoreCompany) 2 months ago

Hex Five Adds MultiZone™ Security to the AdaCore Software Ecosystem, Providing Ada Developers with a Robust Executi…


        

AdaCore (@AdaCoreCompany) 2 months ago

Next week we are exhibiting and giving a tutorial at RSSRail 2019, the conference that brings together researchers…


        

AdaCore (@AdaCoreCompany) 2 months ago

The Danish Technical University has a yearly RoboCup where autonomous vehicles solve a number of challenges. We par…


        

AdaCore (@AdaCoreCompany) 3 months ago

AdaCore Senior Software Engineer Yannick Moy provides a scientific overview of software security.


        

AdaCore (@AdaCoreCompany) 3 months ago

Join us this summer in Paris for AdaCore's Public Ada Training. To register visit:




        

AdaCore (@AdaCoreCompany) 3 months ago

We are just one month away from AdaCore's Alabama Tech Days ! Register now:




        

AdaCore (@AdaCoreCompany) 4 months ago

AdaCore's Yannick Moy presented "A MISRA-C Developer's Introduction to Program Proving in SPARK" at Embedded World…


        

AdaCore (@AdaCoreCompany) 4 months ago

Brandon Lewis from Embedded Computing Design interviewed Jamie Ayre, AdaCore's Commercial Team Lead at Embedded Wor…


        

AdaCore (@AdaCoreCompany) 4 months ago

AdaCore Tech Days for the first time in Alabama. Don't miss us !




        

AdaCore (@AdaCoreCompany) 4 months ago

AdaCore’s code generator QGen won the BEST IN SHOW AWARD at come chat about it with us at booth…


        

AdaCore (@AdaCoreCompany) 4 months ago

AdaCore Technologies for DO-178C / ED-12C book. Come get your free copy at our booth A14!




        

AdaCore (@AdaCoreCompany) 4 months ago

We’re the Conference Proceedings Sponsor this year ! So come to our booth to get the code to download the proceedin…


        

AdaCore (@AdaCoreCompany) 4 months ago

25 Years of serving Civil and Defense Avionics Customers. Come celebrate with us !




        

AdaCore (@AdaCoreCompany) 4 months ago

The AdaCore team is waiting for you ! Come join us at booth A14




        

AdaCore (@AdaCoreCompany) 4 months ago

Come to our booth A14 and check out our interactive demo “Xplane - Autonomous Plane”. Ada for safe and secure avion…


        

AdaCore (@AdaCoreCompany) 4 months ago

We got the third higher score at RapiTetris !




        

AdaCore (@AdaCoreCompany) 4 months ago

Qualification Strategy for an Automatic Code Generator now at the Technical Workshop Corner




        

AdaCore (@AdaCoreCompany) 4 months ago

Dr. José Ruiz from AdaCore will present “Qualification Strategy for an Automatic Code Generator” at 1:30pm…


        

AdaCore (@AdaCoreCompany) 4 months ago

We are ready to Welcome You ! Come to our booth A14 and learn about Safe and Secure Avionics Software…


        

AdaCore (@AdaCoreCompany) 4 months ago

Do you want to learn Ada and spend a week in Paris this June ? Register now for our Public Ada Training !…


        

AdaCore (@AdaCoreCompany) 4 months ago

We really do think that is the most comprehensive toolsuite for , so much so that we…


        

AdaCore (@AdaCoreCompany) 4 months ago

We have exciting news to share ! We are celebrating our 25th anniversary at Aerospace Tech Week and we are major sp…


        

AdaCore (@AdaCoreCompany) 5 months ago

on at Embedded World 2019




        

AdaCore (@AdaCoreCompany) 5 months ago

If you want to see some Ada in action, come to booth 4-149 at ! See if you can beat the high score on the 2…


        

AdaCore (@AdaCoreCompany) 5 months ago

We’re at Embedded World 2019 Come to talk to us about Ada on RISC-V at the AdaCore booth (4-149)


        

AdaCore (@AdaCoreCompany) 5 months ago

Come and check out our flight simulator demo XPlane - Autonomous Airplane ! Booth 4 - 149


        

AdaCore (@AdaCoreCompany) 5 months ago

We have plenty of books waiting for you ! Come and discover all the advantages of Ada and AdaCore at booth 4-149…


        

AdaCore (@AdaCoreCompany) 5 months ago

We’re at stand 4-149 . Come and talk to us about secure programming with SPARK!




        

AdaCore (@AdaCoreCompany) 5 months ago

Playing RISC-V scavenger hunt? Come get your AdaCore sticker to complete your RISC-V passport and win cool prizes !…


        

AdaCore (@AdaCoreCompany) 5 months ago

Dr. Yannick Moy from AdaCore presented “A MISRA-C Developer’s Introduction to Program Proving in SPARK”




        

AdaCore (@AdaCoreCompany) 5 months ago

Dr. Yannick Moy from AdaCore is presenting “A MISRA-C Developer’s Introduction to Program Proving in SPARK” in Hall…


        

AdaCore (@AdaCoreCompany) 5 months ago

We are ready to welcome you ! Embedded World 2019 - Booth 4-149




        

AdaCore (@AdaCoreCompany) 5 months ago

AdaCore will be attending Embedded World in Nuremberg this week! We will be in hall 4 stand 149, so make su…


        

AdaCore (@AdaCoreCompany) 5 months ago

We're only one week away from Embedded World 2019. We are looking forward to see you there !




        

AdaCore (@AdaCoreCompany) 5 months ago

generated using part 2: Fixed Point and Floating Point Math Performance and Parallelization -…


        

AdaCore (@AdaCoreCompany) 5 months ago

Highly portable (and safer) web server in , check out part 1 here -


        

AdaCore (@AdaCoreCompany) 5 months ago

"Measures like the incorporation of and languages into ’s platform can help improve the robustne…