Вход на сайт
Проект для Бакалавра
267 просмотров
Перейти к просмотру всей ветки
в ответ Kvint 03.06.17 11:40
Если на яве, то начните с поиска класса, который представляет переменную.
Надеюсь вам надо просто с синтаксическим деревом работать...
P.S. Верификация Си... Формальная, с логическими инвариантами? Кого-то еще потянуло на эти галеры?