LEARN.ADACORE.COM Edit on GitHub What is Ada and SPARK? Ada is a state-of-the art programming language that development teams worldwide are using for critical software: from microkernels and small-footprint, real-time embedded systems to large-scale enterprise applications, and everything in between. SPARK is a formally analyzable subset of Ada — and a toolset that brings mathematics-based confi
![“learn.adacore.com"](https://cdn-ak-scissors.b.st-hatena.com/image/square/f2a27283fba951f15b3bf5c5e0d6f1bb3fde7fc6/height=288;version=1;width=512/https%3A%2F%2Flearn.adacore.com%2F_static%2Flearn_meta_img.jpeg)