AdaCore (@AdaCoreCompany) 1 day ago

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


        

AdaCore (@AdaCoreCompany) 4 weeks ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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




        

AdaCore (@AdaCoreCompany) 1 month ago

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




        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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




        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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




        

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

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




        

AdaCore (@AdaCoreCompany) 2 months ago

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




        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

We got the third higher score at RapiTetris !




        

AdaCore (@AdaCoreCompany) 2 months ago

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




        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

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

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


        

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

on at Embedded World 2019




        

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

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


        

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

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




        

AdaCore (@AdaCoreCompany) 3 months ago

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


        

AdaCore (@AdaCoreCompany) 3 months ago

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




        

AdaCore (@AdaCoreCompany) 3 months ago

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


        

AdaCore (@AdaCoreCompany) 3 months ago

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




        

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

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




        

AdaCore (@AdaCoreCompany) 3 months ago

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


        

AdaCore (@AdaCoreCompany) 3 months ago

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


        

AdaCore (@AdaCoreCompany) 3 months ago

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


        

AdaCore (@AdaCoreCompany) 3 months ago

Enhancing security-critical firmware with using the and programming languages help lower the co…


        

AdaCore (@AdaCoreCompany) 3 months ago

Register now for one week Ada training in Paris 's office




        

AdaCore (@AdaCoreCompany) 4 months ago

We are now members of The Foundation, providing and C compilation support targeted to bare metal…


        

AdaCore (@AdaCoreCompany) 4 months ago

We're one month away from the leading international fair for embedded systems, Embedded World 2019 ! Meet us at boo…


        

AdaCore (@AdaCoreCompany) 4 months ago

Don't miss our next Public Ada Training! Register here:




        

AdaCore (@AdaCoreCompany) 4 months ago

Follow the SPARK journey towards proving memory operations. Quentin Ochem shows us how SPARK is applicable to…


        

AdaCore (@AdaCoreCompany) 5 months ago

Happy 203rd birthday to our favourite pioneer of programming, . Centuries later and still an inspiratio…


        

AdaCore (@AdaCoreCompany) 6 months ago

We are ready to welcome you !




        

AdaCore (@AdaCoreCompany) 6 months ago

We will be exhibiting at Paris Open Source Summit next week. Come and visit our booth C6-D5


        

AdaCore (@AdaCoreCompany) 6 months ago

We will be exhibiting at ESE Kongress 2018 - Germany's Largest Congress for Professional Embedded Software Engineer…


        

AdaCore (@AdaCoreCompany) 6 months ago

.@yannick_moy presents AdaCore technologies for & how to adopt SPARK to formally define & verify sof…


        

AdaCore (@AdaCoreCompany) 6 months ago

IDE expert walks us through GNAT Programming Studio workflow integration, 'the best tool for adapting G…


        

AdaCore (@AdaCoreCompany) 6 months ago

Ada supports general programming on !


        

AdaCore (@AdaCoreCompany) 6 months ago

Did you know that our tool suite for Ada, called CodePeer, is compatible? Rob Tice explains ho…


        

AdaCore (@AdaCoreCompany) 6 months ago

'CWE is created for people to use! We need standards like this to drive consistency in discussing and conveying ass…