Ada leci na Marsa

fot. adacore.com

Krytyczny system wbudowany dla programu ExoMars został napisany i zweryfikowany w języku Ada: http://www.adacore.com/press/ada-on-board-gnat-pro-helps-exomars-get-to-the-red-planet