AdaCore

Latest Articles from AdaCore

  • Date:
  • Company: AdaCore
AdaCore

AdaCore Collaborates with Synopsys to Offer Ada Static Analysis Solution to Coverity Customers

Coverity customers can now benefit from AdaCore’s GNAT Static Analysis Suite and Ada expertise to ensure the quality, security, and reliability of their Ada code BRISTOL, UK, December 14th, 2022 – AdaCore, a trusted provider of software development and verification tools, today announced that it is collaborating with Synopsys Software Integrity Group, a leading provider of advanced application…

Read More
  • Date:
  • Company: AdaCore
AdaCore

Rheinmetall Air Defence extends the use of AdaCore's safety-critical software development tools for advanced air defence system

BRISTOL, UK, July 19th, 2022 – AdaCore, a trusted provider of software development and verification tools, today announced that Rheinmetall Air Defence, one of the world's foremost makers of advanced air defence systems, is extending its use of AdaCore tools and the Ada programming language. Rheinmetall's Air Defence product range includes cannons, radar and sensor trackers, fire control…

Read More
  • Date:
  • Company: AdaCore
AdaCore

AdaCore’s GNAT Pro Assurance Development Environment Reinforces Security Support

Ada toolsuite helps projects track and mitigate product vulnerabilities

AdaCore, a trusted provider of software development and verification tools, today announced that the latest version of its signature GNAT Pro Assurance product has introduced a service that helps customers with their vulnerability mitigation strategy for third-party tools. With GNAT Pro Assurance 22, customers can request a detailed list of known problems, each keyed to The MITRE Corporation’s…

Read More
  • Date:
  • Company: AdaCore
AdaCore

AdaCore Launches GNAT Dynamic Analysis Suite

The most comprehensive code coverage, analysis, and testing tool package available for Ada users

BRISTOL, UK, February 22nd, 2022 –AdaCore, a trusted provider of software development and verification tools, today announces the availability of its new GNAT Dynamic Analysis Suite - a powerful bundle of analysis, testing, verification, and code coverage technologies to help Ada developers build safe, secure software as well as meet internal security and quality procedures.  “From decades of…

Read More
  • Date:
  • Company: AdaCore
AdaCore

Increase Military Software Innovation and Longevity through Reuse

Software is a critical element in almost any military application and can be a differentiator that provides strategic and tactical advantages on the battlefield. However, it also has to meet set challenges – it has to be long-lived, reliable, and easily maintainable to match the longevity of the military platform on which it is deployed. That means it has to account for both innovation and…

Read More
List Your Company Design Agency