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 MoreBRISTOL, 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 MoreAda 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 MoreThe 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 MoreSoftware 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