• Hackaday / Programming Ada: First Steps On The Desktop

Wikipedia

• SPARK (programming language) is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential.