Product Update 2020

AdaCore technical staff presents the latest news about the company's current and planned product offerings.

GNAT Pro Product Update

Check out this video to learn how GNAT Pro’s new platforms, tools and libraries can help kick your workflow up to the next level.

GNAT Studio

Check out this video to see how these new changes make GNAT Studio more efficient, more reliable, and more maintainable.


We’re excited to show you what GNATcoverage can do. Check out this video to learn just how easy GNATcoverage is to use, and how the new capabilities can help you meet the highest software quality standards.


Check out this video to get a quick overview of the tool suite, see the new features integrated into the new release of the technology, and get an understanding of how the CodePeer Advanced Static Analysis Tool Suite can improve your software development life cycle.


Check out this video to discover how the latest capabilities in SPARK 21.0 can help you save time and effort while reaping the full benefits of formal program verification.

What did you think of the 2020 Product Updates?