AdaCore (@AdaCoreCompany) 2 weeks ago

AdaCore University is now on YouTube! Go to the AdaCore channel and find the video tutorials there, or alternativel…


        

AdaCore (@AdaCoreCompany) 3 weeks ago

Day one completed at SSAS workshop in Maryland. Excellent presentation by AdaCore's Claire Dross "Enhanc…


        

AdaCore (@AdaCoreCompany) 3 weeks ago

Calling all Ada and SPARK enthusiasts! GNAT community 2018 has arrived! Check out our new blog post for more info!…


        

AdaCore (@AdaCoreCompany) 4 weeks ago

Presentation "Safe Dynamic Memory Management in Ada and SPARK" presented by Maroua Maalej today at . We…


        

AdaCore (@AdaCoreCompany) 4 weeks ago

GNAT Pro supports 's LynxSecure Seperation Kernel Hypervisor on processors! Announced today at…


        

AdaCore (@AdaCoreCompany) 4 weeks ago

AdaCore is at Ada Europe, look out for our two talks today "Easy Ada Tooling with Libadalang" and "Safe Dynamic Mem…


        

AdaCore (@AdaCoreCompany) 4 weeks ago

GNAT Pro and now offer 32-bit and 64-bit support on the latest , , and Power multi-core pro…


        

AdaCore (@AdaCoreCompany) 4 weeks ago

We are ready to welcome you! Meet us at booth B2




        

AdaCore (@AdaCoreCompany) 1 month ago

Only one day left to sign up for Sound Static Analysis for Security workshop 27th-28th June held at ! Cl…


        

AdaCore (@AdaCoreCompany) 1 month ago

What is AdaCore doing for the Automotive industry? We are at where interviewed QGen te…


        

AdaCore (@AdaCoreCompany) 1 month ago

You can also sign up to the event and find out more information here!!


        

AdaCore (@AdaCoreCompany) 2 months ago

Want to know how Ada and SPARK can Increase the security of your software? Then have a look at our new post, where…


        

AdaCore (@AdaCoreCompany) 2 months ago

Just a reminder that OSIS- Track IoT Critique 2018 is happening today in Paris!! If you're there head down to see "…


        

AdaCore (@AdaCoreCompany) 2 months ago

Exciting news! will be using Ada and AdaCore's GNATPro for a NASA Project! To read more about LASP, GNATP…


        

AdaCore (@AdaCoreCompany) 2 months ago

On May 24th AdaCore engineers and will present "Ada and SPARK - Defense in Depth for Safe Mi…


        

AdaCore (@AdaCoreCompany) 2 months ago

AdaCore is partnering with to support its industry-leading QNX operating system across our family go GN…


        

AdaCore (@AdaCoreCompany) 2 months ago

AdaCore is partnering with to support it's industry-leading QNX operating system across our family go G…


        

AdaCore (@AdaCoreCompany) 3 months ago




        

AdaCore (@AdaCoreCompany) 3 months ago

We're very excited to announce that Kestrel Technologies and will be sponsoring Sound Static Analysis…


        

AdaCore (@AdaCoreCompany) 4 months ago

New blog post and part 1 about SPARK in use in the Zumo robot for ! Part 2 will be coming shortly!…


        

AdaCore (@AdaCoreCompany) 4 months ago

Great day here in for tech days and a wonderful way to end AdaCore's week or exhibition…


        

AdaCore (@AdaCoreCompany) 4 months ago

New article about (Future Capability Environment) previously only avionics focused now has broadene…


        

AdaCore (@AdaCoreCompany) 4 months ago

Wonderful article with incredible overlooked women who have achieved great things including first computer programm…


        

AdaCore (@AdaCoreCompany) 4 months ago

We've had a great first day here at tech days in it was lovely speaking to you all about…


        

AdaCore (@AdaCoreCompany) 4 months ago

AdaCore is in Australia! We're here today exhibiting at Tech days in ! If you're here co…


        

AdaCore (@AdaCoreCompany) 4 months ago

AdaCore will be attending Tech days 2018 in both and next week. There is stil…


        

AdaCore (@AdaCoreCompany) 4 months ago

AdaCore has been working with CEA, & to organise a 2 day event dedicated to sound static analysis…


        

AdaCore (@AdaCoreCompany) 4 months ago

AdaCore has been working with CEA, & to organise a two day event dedicated to sound static analys…


        

AdaCore (@AdaCoreCompany) 5 months ago

Students loving on !




        

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 scor…


        

AdaCore (@AdaCoreCompany) 5 months ago

If you're looking out for us at we're at stand 4-149 and you can come and talk to us about secur…


        

AdaCore (@AdaCoreCompany) 5 months ago

AdaCore are proud to announce that Scandinavian Real Heart has decided to use AdaCore embedded software development…


        

AdaCore (@AdaCoreCompany) 5 months ago

We're at ! Come to talk to us about Ada on risc-v at the AdaCore booth (4-149)


        

AdaCore (@AdaCoreCompany) 5 months ago

New blog post "Ada on the micro:bit" by AdaCore engineer , explaining how you can set up the Ada developme…


        

AdaCore (@AdaCoreCompany) 5 months ago

AdaCore will be attending in Nuremburg this week! To find us we will be at hall 4 stand 149, so…


        

AdaCore (@AdaCoreCompany) 5 months ago

New Blog post from "For All Properties, There Exists a Proof" is now live and you can read it here:…


        

AdaCore (@AdaCoreCompany) 5 months ago

in : Lady Ada meets ! Learn how Ada code can be used to verify the data in…


        

AdaCore (@AdaCoreCompany) 5 months ago

Great article from Bill Wong on Embedded Programming in the Large


        

AdaCore (@AdaCoreCompany) 5 months ago

CodePeer meets CodeBeer at the 26th Safety Critical Systems Symposium🍻




        

AdaCore (@AdaCoreCompany) 5 months ago

Catherine Menon giving a fascinating talk on the ethics, risks and trade-offs facing builders of…


        

AdaCore (@AdaCoreCompany) 5 months ago

Another great ERTS conference. See you all in a couple of years for the 10th edition!




        

AdaCore (@AdaCoreCompany) 5 months ago

Have we missing a trick ignoring linters for Ada?




        

AdaCore (@AdaCoreCompany) 5 months ago

Mark Richardson from LDRA nicely sums up the commonality of and in today’s critical systems.…


        

AdaCore (@AdaCoreCompany) 5 months ago

Yannick Moy presenting the CAP2018 project, a reliable and safe for drones compliant to DO-178 level A.…


        

AdaCore (@AdaCoreCompany) 5 months ago

The future of ? Jim Chelini from Verocel presents Overarching Properties and thei…


        

AdaCore (@AdaCoreCompany) 5 months ago

AdaCore's official 18.1 product press release is out! If you want to read all about the updates that have been made…


        

AdaCore (@AdaCoreCompany) 5 months ago

ERTS 2018 underway in Toulouse with interesting talks on by and




        

AdaCore (@AdaCoreCompany) 6 months ago

This weekend AdaCore will be attending conference in Brussels! We will keep you all updated on the proceedi…


        

AdaCore (@AdaCoreCompany) 6 months ago

AdaCore will be attending 3-4th February in Brussels! Take this link to the AdaCore Blog to read about the…


        

AdaCore (@AdaCoreCompany) 7 months ago

An early Christmas present for you with our new blog post "Leveraging Ada Run-Time Checks with Fuzz Testing in AFL"…