1
Ada and SPARK Propel Aerospace Innovation
(www.adacore.com)
A community about the programming language, Ada.
Ada is a modern, high-level programming language designed for developing reliable, efficient, and maintainable software systems. It was developed by the U.S. Department of Defense and is widely used in safety-critical and mission-critical applications. This community is dedicated to all things related to Ada, including discussions, tutorials, news, and projects.
How trustworthy is the judgment of this startup regarding this selection?
Not only this startup speaks highly of Ada. Here's another example of successful application of this technology in space: SPARK/Ada for high integrity spacecraft software.