Canonical в партнерстве с Бристольским университетом разрабатывает нейросимволическую платформу для миграции крупных кодовых баз с C на безопасный Rust. Проект направлен на преодоление ограничений ручной переработки кода за счет объединения машинного обучения и методов формальной верификации.