AdaCore (@AdaCoreCompany) 2 days ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 1 month ago

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




        

AdaCore (@AdaCoreCompany) 1 month ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

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

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


        

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

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


        

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

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

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


        

AdaCore (@AdaCoreCompany) 2 months ago

.@yannick_moy presenting the latest and greatest from our SPARK Pro technology, bringing mathematics-based confiden…


        

AdaCore (@AdaCoreCompany) 2 months ago

Why use static analysis? To make your software more reliable at a reasonable cost of course! Check out our website…


        

AdaCore (@AdaCoreCompany) 2 months ago

Kicking off day two of Tech Days 2017 with Our Static Analysis update and presentations about our CodePeer and SPAR…


        

AdaCore (@AdaCoreCompany) 2 months ago

A lot of interesting information and some excellent demos in our GPS for bare metal development presentation


        

AdaCore (@AdaCoreCompany) 2 months ago

Build better software with our GNAT Pro tool, a comprehensive toolsuite including all the tools and libraries you n…


        

AdaCore (@AdaCoreCompany) 2 months ago

.@nicosetton presenting our efforts in strengthening the Ada community! Check out to learn…


        

AdaCore (@AdaCoreCompany) 2 months ago

Our GNAT Pro update is underway, sharing all the exciting new features brought to GNAT Pro this year!


        

AdaCore (@AdaCoreCompany) 2 months ago

AdaCore Tech Days off to a flying start with all our excellent updates and presentations about and our product…


        

AdaCore (@AdaCoreCompany) 2 months ago

Paul Black from making a simple statement "If you want to eliminate buffer overflows, don't use C!"




        

AdaCore (@AdaCoreCompany) 2 months ago

"Make Ada a great language for parallel programming!" presents Ada 2020 and what's in store for the the nex…


        

AdaCore (@AdaCoreCompany) 2 months ago

Thanks to Paul Black for taking us through the report on Dramatically Reducing Software Vulnerabilities…


        

AdaCore (@AdaCoreCompany) 2 months ago

So here it is! AdaCore's Boston Tech Days 2017! What a better way to start off our Tech Days than with Paul Black’…


        

AdaCore (@AdaCoreCompany) 2 months ago

AdaCore is here today at conference! If you’re here come to us to talk about Certifications and Safe, Secu…


        

AdaCore (@AdaCoreCompany) 3 months ago

It was definitely time for a change...check out our brand spanking new website!! 🚀


        

AdaCore (@AdaCoreCompany) 3 months ago

We’re here today System Safety and Cyber Security Conf! Come to our stand to talk about Safe and secure sof…


        

AdaCore (@AdaCoreCompany) 3 months ago

Pat Rogers presenting real and with at . Learn more at booth 808.




        

AdaCore (@AdaCoreCompany) 3 months ago

Having too much fun at ?! Come down and visit us at booth to talk about safe, secure & reliable so…


        

AdaCore (@AdaCoreCompany) 3 months ago

As a victim of having a software bug in her medical device, presents the need for software security trustworthiness


        

AdaCore (@AdaCoreCompany) 3 months ago

'Research suggests that malfunctioning medical devices are the 3rd biggest cause of death in the US'


        

AdaCore (@AdaCoreCompany) 3 months ago

expert talks about her dependence on a pacemaker & the need for safe, secure and reliable software


        

AdaCore (@AdaCoreCompany) 3 months ago

Partners discussing the need for trustworthy software at this year's


        

AdaCore (@AdaCoreCompany) 3 months ago

Come along to talk about AdaCore's CWE-compatible tool! And check out our demo!…


        

AdaCore (@AdaCoreCompany) 3 months ago

tool has been classed CWE-compatible for over 2 years, CWE is here to stay!


        

AdaCore (@AdaCoreCompany) 3 months ago

Today we're at If you're here come by the stand to talk to us about our products! Stay tuned for goings on!


        

AdaCore (@AdaCoreCompany) 3 months ago

Great seeing you guys at ! If you didn't have the chance to come or would like some more info feel free to email careers@adacore.com


        

AdaCore (@AdaCoreCompany) 3 months ago

It's awesome to see so many people today at forum! Keep coming there's still time to have a quick chat about…


        

AdaCore (@AdaCoreCompany) 3 months ago

We're here at the forum! Come down and talk to us about careers and stages with AdaCore!


        

AdaCore (@AdaCoreCompany) 3 months ago

We will be at forum tomorrow! Come down and talk to us about careers with AdaCore!


        

AdaCore (@AdaCoreCompany) 4 months ago

A roaring success yesterday rounded off by two great presentations about O'PAVES & our Ada 2020 update! Was great t…


        

AdaCore (@AdaCoreCompany) 4 months ago

GPS for bare metal development demo going very well




        

AdaCore (@AdaCoreCompany) 4 months ago

In the words of