ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Вводится понятие графовой модели функциональной программы, и проблема верификации функциональной программы сводится к проблеме анализа графовой модели этой функциональной программы.