AdaCore Launches GNAT Dynamic Analysis Suite
NEW YORK, February 22, 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 experience helping…
Source: eejournal.com