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