31 липня 2026Розробка ПЗOlivia HannamAdaCore фіксує зростання використання безпечних до пам'яті мов у оборонних програмах СШАAdaCore повідомляє про значне збільшення впровадження мов програмування, безпечних до пам'яті, таких як Ada, SPARK та Rust, у ключових аерокосмічних та оборонних програмах США.
