Collection

Tag: ada

Ada and the DoD’s Attempt to Standardize a Language for Embedded Systems

Ada was the U.S. Department of Defense's ambitious attempt to replace a proliferation of embedded-system languages with one strongly typed, standardized language designed for large, long-lived real-time software.

↗

SPARK Ada: Bringing Formal Verification into High-Integrity Software Engineering

SPARK evolved from a restricted Ada subset into a verification-oriented language and toolchain designed to make data flow, contracts and proof usable in safety- and security-critical software projects.

↗