SPARK
Computer programming language
>
&tbnh=225&tbnw=225&usg=AI4_-kQ1ItmYWMxb2Q7u52SYsgPs8_1wPA&vet=1&docid=j54sOd8T3Wig3M&itg=1&sa=X&ved=2ahUKEwj_ro7Bp4SGAxX9mYkEHYlnByQQ9QF6BAgAEAQ)
&tbnh=65&tbnw=150&usg=AI4_-kTkHLTQBY3CEfP7nnc49rJY1eGfmw&vet=1&docid=j54sOd8T3Wig3M&sa=X&ved=2ahUKEwj_ro7Bp4SGAxX9mYkEHYlnByQQ9QF6BAgAEAY)
&tbnh=66&tbnw=123&usg=AI4_-kT4OEnWkQOJl90WRZ726yhpgZPgZg&vet=1&docid=J05dBCg4j_fchM&sa=X&ved=2ahUKEwj_ro7Bp4SGAxX9mYkEHYlnByQQ9QF6BAgAEAg)
&tbnh=99&tbnw=143&usg=AI4_-kT7DMEmzPcHnuPlAl8lA4Lrk1bF7g&vet=1&docid=-jFt_iqJRn36OM&sa=X&ved=2ahUKEwj_ro7Bp4SGAxX9mYkEHYlnByQQ9QF6BAgAEAo)
SPARK 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. Wikipedia
License: GPLv3
OS: Cross-platform: Linux, Microsoft Windows, Mac OS X
Paradigm: Multi-paradigm
Stable release: Community 2021 / June 1, 2021; 2 years ago