![Software](https://img.helpnetsecurity.com/wp-content/uploads/2021/10/14111332/software_1200-400x200.jpg)
AdaCore GNAT Dynamic Analysis Suite helps customers build critical software systems
AdaCore released its new GNAT Dynamic Analysis Suite – a bundle of analysis, testing, verification, and code coverage technologies to help Ada developers build safe, …
AdaCore acquires Componolit to expand its market share in Germany
AdaCore announces the acquisition of Componolit, effective as of February 1, 2021.The acquisition of Componolit will provide AdaCore with a further foothold to expand its …
AdaCore launches new edition of GNAT Pro to support Wind River Helix Virtualization Platform
AdaCore launched a new edition of its premier GNAT Pro Ada, C and C++ development toolsuites in support of the Wind River Helix Virtualization Platform. Offered in separate …
Code Dx Enterprise now supports AdaCore’s CodePeer advanced static analysis tool
Code Dx, provider of an award-winning application security management solution that automates and accelerates the discovery, prioritization, and risk management of software …
AdaCore enhances security-critical firmware with NVIDIA
AdaCore, a trusted provider of software development and verification tools, today announced it is working with NVIDIA to implement Ada and SPARK programming languages for …
Featured news
Sponsored
Don't miss
- SYS01 info-stealer pushed via Facebook ads, LinkedIn and YouTube posts
- ChatGPTriage: How can CISOs see and control employees’ AI use?
- Managing exam pressure: Tips for certification preparation
- Firmware update hides Bluetooth fingerprints
- Critical Exim vulnerability facilitates malware delivery (CVE-2024-39929)