AdaCore (@AdaCoreCompany) 5 days ago




        

AdaCore (@AdaCoreCompany) 2 weeks ago

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


        

AdaCore (@AdaCoreCompany) 4 weeks ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

Students loving on !




        

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

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

Great article from Bill Wong on Embedded Programming in the Large


        

AdaCore (@AdaCoreCompany) 3 months ago

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




        

AdaCore (@AdaCoreCompany) 3 months ago

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


        

AdaCore (@AdaCoreCompany) 3 months ago

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




        

AdaCore (@AdaCoreCompany) 3 months ago

Have we missing a trick ignoring linters for Ada?




        

AdaCore (@AdaCoreCompany) 3 months ago

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


        

AdaCore (@AdaCoreCompany) 3 months ago

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


        

AdaCore (@AdaCoreCompany) 3 months ago

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


        

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

ERTS 2018 underway in Toulouse with interesting talks on by and




        

AdaCore (@AdaCoreCompany) 3 months ago

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


        

AdaCore (@AdaCoreCompany) 3 months ago

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


        

AdaCore (@AdaCoreCompany) 4 months ago

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


        

AdaCore (@AdaCoreCompany) 4 months ago

New blog is up! "Cross-referencing Ada with Libadalang" it's a great new update from our "Highlighting Ada with Lib…


        

AdaCore (@AdaCoreCompany) 4 months ago

"The affordability of AdaCore’s GNAT Pro Developer opens the door to more programmers who’d like to take advantage…


        

AdaCore (@AdaCoreCompany) 4 months ago

Is there anything we can do to root out software bugs from their clever code camouflage? Quentin Ochem answers this…


        

AdaCore (@AdaCoreCompany) 5 months ago

Time to get serious about your . Rob Tice discussing and today at 11:00am room 211D


        

AdaCore (@AdaCoreCompany) 5 months ago

All set up and ready to go! Come and visit us at Booth 1631




        

AdaCore (@AdaCoreCompany) 5 months ago

Hi everyone we're still at in San Jose. Today we have AdaCore's Rob Tice presenting "Practical Developme…


        

AdaCore (@AdaCoreCompany) 5 months ago

At ESE Kongress today we have AdaCore's Ingo presenting his presentation "Formal korrekten C-Code du…


        

AdaCore (@AdaCoreCompany) 5 months ago

Hi guys we're here at in San Jose make sure to come and give us a visit at booth 1631!!


        

AdaCore (@AdaCoreCompany) 5 months ago

Hi everyone we’re at ESE Kongress all week! If you're here come down and talk to us about building…


        

AdaCore (@AdaCoreCompany) 5 months ago

Hi everyone we’re at all week! If you're here come down and talk to us about building


        

AdaCore (@AdaCoreCompany) 5 months ago

Hi everyone we’re at ESE Kongress all week! If you are here come down and talk to us about building…


        

AdaCore (@AdaCoreCompany) 5 months ago

Article "A Look Inside NIST’s “Dramatically Reducing Security Vulnerabilities” Report" by William Wong, about NIST'…


        

AdaCore (@AdaCoreCompany) 5 months ago

New blog post "Welcoming New Members to the GNAT Pro Family" is up! worth a read to learn all about our new GNAT Pr…


        

AdaCore (@AdaCoreCompany) 5 months ago

New blog post: There's a mini-RTOS in my language by AdaCore Embedded software engineer . Click this link…


        

AdaCore (@AdaCoreCompany) 5 months ago

AdaCore Tech Days Boston was a roaring success! Rounded off with “Dealing with platform obsolescence” and our curre…


        

AdaCore (@AdaCoreCompany) 5 months ago

A very interesting new blog by SPARK engineer , Martin Becker and Emanuel Regnath: Physical Units Pass…


        

AdaCore (@AdaCoreCompany) 5 months ago

A very interesting new blog by Yannick Moy: Physical Units Pass the Generic Test. Definitely a read if you have pro…