AdaCore (@AdaCoreCompany) 2 days ago

Meet the team next week at the FACE™ Technical Interchange Meeting on Booth 35/36 (Sept…


        

AdaCore (@AdaCoreCompany) 3 days ago

Join us at the on October 3 in Paris featuring talks about our latest product offerings & customer…


        

AdaCore (@AdaCoreCompany) 3 days ago

A language is only as good as its implementation, and ’s technology has been supporting customer…


        

AdaCore (@AdaCoreCompany) 3 days ago

Software development and verification tool provider has opened an office in , UK to support growth…


        

AdaCore (@AdaCoreCompany) 4 days ago

AdaCore's products have a proven track record in helping customers develop and verify high-assuranc…


        

AdaCore (@AdaCoreCompany) 2 weeks ago

Tackling the challenge faced by to make building functional and secure programs easy for the us…


        

AdaCore (@AdaCoreCompany) 4 weeks ago

Global software firm expands UK presence


        

AdaCore (@AdaCoreCompany) 4 weeks ago

expands presence to support and sectors


        

AdaCore (@AdaCoreCompany) 4 weeks ago

Software development and verification tool provider is to open an office in , UK to support growth…


        

AdaCore (@AdaCoreCompany) 1 month ago

AdaCore expands its presence in the UK to support thriving and industries. Find out more here:…


        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 3 months ago

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


        

AdaCore (@AdaCoreCompany) 3 months ago

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


        

AdaCore (@AdaCoreCompany) 3 months ago

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


        

AdaCore (@AdaCoreCompany) 3 months ago

Tonu Naks presenting the QGen qualifiable at




        

AdaCore (@AdaCoreCompany) 3 months 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) 3 months ago

Our partners from presenting contract-based design and verification using




        

AdaCore (@AdaCoreCompany) 3 months ago

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


        

AdaCore (@AdaCoreCompany) 3 months ago

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


        

AdaCore (@AdaCoreCompany) 3 months ago

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


        

AdaCore (@AdaCoreCompany) 3 months 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) 3 months 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) 4 months ago

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


        

AdaCore (@AdaCoreCompany) 4 months ago

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


        

AdaCore (@AdaCoreCompany) 4 months ago

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


        

AdaCore (@AdaCoreCompany) 4 months ago

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


        

AdaCore (@AdaCoreCompany) 5 months ago

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


        

AdaCore (@AdaCoreCompany) 5 months ago

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




        

AdaCore (@AdaCoreCompany) 5 months ago

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




        

AdaCore (@AdaCoreCompany) 6 months ago

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


        

AdaCore (@AdaCoreCompany) 6 months ago

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


        

AdaCore (@AdaCoreCompany) 6 months ago

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




        

AdaCore (@AdaCoreCompany) 6 months ago

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


        

AdaCore (@AdaCoreCompany) 6 months ago

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




        

AdaCore (@AdaCoreCompany) 6 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) 6 months ago

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




        

AdaCore (@AdaCoreCompany) 6 months ago

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




        

AdaCore (@AdaCoreCompany) 6 months ago

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


        

AdaCore (@AdaCoreCompany) 6 months ago

We got the third higher score at RapiTetris !




        

AdaCore (@AdaCoreCompany) 6 months ago

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




        

AdaCore (@AdaCoreCompany) 6 months ago

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


        

AdaCore (@AdaCoreCompany) 6 months ago

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


        

AdaCore (@AdaCoreCompany) 6 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) 6 months ago

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


        

AdaCore (@AdaCoreCompany) 6 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) 7 months ago

on at Embedded World 2019




        

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

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


        

AdaCore (@AdaCoreCompany) 7 months ago

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