Международная конференция Ada Europe по надежным программным технологиям 2025 Запись трансляции доклада "Создание демонстрационного марсохода с помощью SPARK"