Международная конференция Ada Europe по надежным программным технологиям 2025 Запись доклада "Тестирование на основе свойств в Ada - недостающие 10 %"