История изменений
Исправление yoghurt, (текущая версия) :
Вопрос немного не по теме, но близко.
Это всё очень круто, но что делать, если верифицировать нужно алгоритм (точнее, его реализацию) на другом языке (Си, плюсы)? Есть какой-то способ сопоставления Си-кода агде? Я просто далек от этой темы и, вероятно, это очень глупый вопрос :)
Исходная версия yoghurt, :
Вопрос немного не по теме, но близко.
Это всё очень круто, но что делать, если верифицировать нужно алгоритм (точнее, его реализацию) на другом языке (Си, плюсы)? Есть какой-то способ сопоставления Си-кода агде? Я просто далек от этой темы и, вероятно, это очень глупый вопрос Ж)