AdaCore released its new GNAT Dynamic Analysis Suite – a 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 customers build critical software systems, we know that the most successful workflows incorporate multiple approaches to testing,” said Arnaud Charlet, Lead of Product Engineering at AdaCore.

Read full article on Help Net Security