Adacore Logo 60185ea3ef31b

AdaCore

Provider of high reliability software tools including Ada and SPARK

More Info on AdaCore

Adacore Logo 60185ea3ef31b

Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. With over two decades of experience working with the most respected companies in industries such as aerospace, defense and railways, we build tools and provide services that ease the complex and often difficult process of developing high-integrity software. As the need for truly secure and reliable applications expands into industries such as automotive, medical, energy, and IoT, we’re excited to bring our time-tested technologies, expertise and services to help a whole new generation of developers.

Videos

Why Commercial Rust Software is Important for Critical Solutions
AdaCore’s GNAT Rust solution brings commercial support to Rust developers.
May 9, 2024
Promo
AdaCore's Paul Butcher breaks down the not-so-well-known technique of application fuzz testing.
April 25, 2022

Articles

ID 322553594 © Justlight | Dreamstime.com
emi_energy_dreamstime_l_322553594
Rust can still utilize pointers for low-level work and interfacing with other languages.
March 27, 2025
Dreamstime_bardushkaphotostock_315135256
dreamstime_bardushkaphotostock_315135256_promo
The Rust borrow checker is one of its main memory-management features.
March 12, 2025
ID 136771542 © Tigatelu | Dreamstime.com
mole_dreamstime_l_136771542
The Rust language brings a fresh approach to whacking the pointer mole.
Feb. 27, 2025
ID 61590259 © Michael Turner | Dreamstime.com
whackamole_dreamstime_l_61590259
Pointer errors have plagued software developers for decades. Rust’s innovative and expressive approach helps make pointers safe and efficient.
Feb. 20, 2025
AdaCore and Dreamstime_152088993
0and1s_dreamstime_security_152088993
Developing a robust, secure protocol specification doesn’t need to be complicated…if you have the right tools.
Jan. 11, 2024
157787561 © Wutthichai Luemuang | Dreamstime.com
Programmer Dreamstime 157787561
The U.S. National Security Agency recently published the “Software Memory Safety” Cybersecurity Information Sheet.
Nov. 14, 2022
Seventyfourimages | Dreamstime.com
Programmer Promo
Embedded programmers have three places to store data: global, the heap, and the stack.
Oct. 25, 2021
Ivan Karpov | Dreamstime.com
Software Updates Promo
Ada’s data-representation features address one of the most vexing issues with hardware updates: Creating portable code that can define data structures with a specific physical...
June 25, 2021
Dreamstime.com
Promo Business New
Programming with Ada can make business sense in terms of cost savings and available tools.
June 8, 2021
Zaid Saadallah | Dreamstime.com
Brain Cpu Promo
Ada was built to interface with embedded devices. Learn about the Size aspect and attribute, register overlays, and the svd2ada Ada binding generator.
June 2, 2021

Additional content from AdaCore

Maciek905 | Dreamstime.com
Code Programming Promo
Fixed point can be significantly faster especially if there’s no floating-point unit.
May 28, 2021
Profitimage | Dreamstime.com
Ada Promo
Writing low-level programming in Ada is easy. Here’s a primer on how it’s done.
May 27, 2021
Roman Samborskyi | Dreamstime.com
Code Engineer Promo2
Check out some of the technical aspects of the Ada programming language, such as the Ravenscar profile.
May 27, 2021
Dan Grytsku | Dreamstime.com
Programmer Promo
When comparing Ada to C, they’re similar in terms of speed and memory efficiency. What sets them apart?
May 27, 2021
Roman Samborskyi | Dreamstime.com
Code Engineer Promo
Why would you need to consider learning another programming language?
May 27, 2021
Make With Ada 2021 Promo
Check out the results from the latest Make with Ada competition that pitted Ada and SPARK applications from multiple contenders.
April 2, 2021
What's the Difference Between Sound and Unsound Static Analysis?
Timeliness and cost are two main factors for code verification, which separates sound from unsound. But recent advances are closing those gaps.
Sept. 13, 2018
Thinkstock
Adopting Spark
Adacore and Thales have created a white paper addressing the incremental utilization of SPARK’s provability for high assurance applications.
May 9, 2017
promo.gif
Technology Editor Bill Wong recently judged the “Make with Ada” competition and found some interesting feedback that will intrigue embedded developers.
Dec. 14, 2016
Adacore webinar
Sponsored
The late computer scientist Edsger Dijkstra once famously said "Program testing can be used to show the presence of bugs, but never to show their absence." This intrinsic drawback...
The Make with Ada competition is coming up, and you might be able to win some cash for an Ada project.
The Make with Ada competition is coming up, and you might be able to win some cash for an Ada project.
June 28, 2016
Image
The Ada language is alive and well, as can be confirmed by developers of embedded real-time systems in critical industries worldwide. You’d never know that from some of the misconceptio...
March 10, 2016
CodePeer generates the contract for a procedure when none exists allowing a developer to see what the procedure will actually do with inputs and outputs Click here for expanded view Image courtesy of Adacore
Adacore’s CodePeer takes verification of Ada code to the next level.
Dec. 4, 2015
Image
Ada and SPARK are programming languages that are especially applicable in systems demanding high confidence in software reliability, safety, and security.
Nov. 19, 2015
1 The Crazyflie weighs only 19 g and has a 72 MHz CortexM3 processor Another Cortex core is found on the wireless chip Image courtesy of Bitcraze
Crazyflie quadrotor is an open-source project including the hardware. I tried out a project where the control software was rewritten in SPARK, a subset of Ada.
Aug. 25, 2015
Image
Formal verification, via tools like SPARK, can be used in a similar fashion to static analysis to find all run-time errors in your code, even the most unlikely of errors that ...
Jan. 7, 2015
Image
This article offers two approaches toward addressing the problem of software verification at increasing levels of sophistication.
Nov. 4, 2014
Image
From a software design point of view, contracts are a way of modeling requirements. They are a great foundation for safe programming and code correctness.
March 5, 2014
The AdaCore University is a great way to learn Ada and its free. That includes the GPS IDE and Ada compiler.
Sept. 25, 2013
ID 315465046 © Andrey Popov Dreamstime.com
id_315465046__andrey_popov__dreamstime
As a programmer, I try to write code that’s not only functional but also safe, secure, and reliable. But what if some of those things I learn or use aren’t quite right?
June 18, 2013
Image
Ada has evolved over the years taking in the latest programming ideas from object oriented programming to contract-based programming.
Feb. 27, 2013
Image
The industrialization age of programming by contract is opening a new era in software development. Just as development techniques went from assembly to structured languages and...
Feb. 4, 2013
Image
The new Ada 2012 standard was recently approved by ISO. It incorporates contracts that will have a major impact on application design.
Jan. 25, 2013
Image
C++11 and Ada 2012 are the latest incarnations of C++ and Ada programming languages. Quentin Ochem delves into the similarities and differences of some new features in each language...
June 22, 2012