AdaCore

150 W. 30th Street, 16th floor
New York, NY 10001
[email protected]
+1 212 620 7300
https://www.adacore.com/
AdaCore
Articles related to AdaCore
Software & OS

Embedded Executive: Quentin Ochem, Product Management Lead, AdaCore and Florian Gilcher, Managing Director, Ferrous Systems - Podcast

March 09, 2022

AdaCore is one of the leaders in the Ada programming language. Ada has been around for a long time, and is time tested.

Debug & Test

AdaCore Launches GNAT Dynamic Analysis Suite - News

February 23, 2022

AdaCore announced the availability of 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. 

Software & OS

Embedded Insiders: How Much Are You Willing to Pay for Bad Software? - Podcast

February 26, 2021

With time to market pressures constantly increasing, technology organizations are moving away from traditional waterfall development workflows and towards Agile/DevOps software development practices.

Debug & Test

Embedded Toolbox: Prove It! Proofs Start Where Static Analysis Stops - Blog

February 25, 2021

 

Static analysis tools are widely used in safety- and security-critical applications as a means of finding and remediating coding errors. In fact, they are the de facto software testing tool in these industries.

Security

AdaCore Broadens its Cybersecurity Capabilities with the Acquisition of Componolit GmbH - News

February 18, 2021

AdaCore announced the acquisition of Componolit GmbH, effective as of February 1, 2021

Security

The Place for MISRA C in Safe & Secure Programming - A Comparison with SPARK - Story

January 21, 2021

As part of the Linux Security Summit Europe last October, I participated in a panel around the question, “Would Abandoning the C Language Really Help?”. C, which is the main language used in the Linux kernel, is notorious for having an endless source of vulnerabilities. Just look at the long list of open bugs automatically reported by the fuzzing robot syzbot that are still waiting for a fix.

Software & OS

Consafe Logistics Selects AdaCore?s GNAT Pro for Critical Warehouse Control System Firmware - Press Release

December 10, 2020

Enables stability, security and safety when controlling complex automated warehouse solutions.