Изследователи проучват дали автоматизираният превод чрез изкуствен интелект може безопасно да мигрира сложни критични кодови бази от C към Rust, без да нарушава функционалното поведение. Проектът съчетава фазинг с формален анализ, за да преодолее липсата на доверие между генерирания от ИИ код и надеждността на софтуера в производствена среда.