Ada
Ada/SPARK, marketing, reach and the abysmal state of things
Ada Forum · Published December 7, 2025
Irvise, Ada Forum user
An Ada Forum thread in December 2025 noted community concern over Ada/SPARK's absence from recent ACM SIGPLAN research videos on formal verification and software quality. Developer Heziode announced Aclida, a formally verified CLI…