Поиск по ключевому слову "проверка модели"
Разработка и исследование синтетического метода верификации программы с помощью SMT-решателей
Авторы: Рудаков И.В., Гурин Р.Е. | Опубликовано: 12.08.2016 |
Опубликовано в выпуске: #4(109)/2016 | |
DOI: 10.18698/0236-3933-2016-4-49-64 | |
Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации | |
Ключевые слова: верификация, анализ кода, статический анализ, динамический анализ, интерпретация, символьное выполнение, проверка модели |