| 
Поиск по ключевому слову "статический анализ"
Разработка и исследование синтетического метода верификации программы с помощью SMT-решателей
| Авторы: Рудаков И.В., Гурин Р.Е. | Опубликовано: 12.08.2016 |
| Опубликовано в выпуске: #4(109)/2016 | |
| DOI: 10.18698/0236-3933-2016-4-49-64 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации | |
| Ключевые слова: верификация, анализ кода, статический анализ, динамический анализ, интерпретация, символьное выполнение, проверка модели | |
Эвристический анализ безопасности программного кода
| Авторы: Марков А.С., Матвеев В.А., Фадин А.А., Цирлов В.Л. | Опубликовано: 19.02.2016 |
| Опубликовано в выпуске: #1(106)/2016 | |
| DOI: 10.18698/0236-3933-2016-1-98-111 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Методы и системы защиты информации, информационная безопасность | |
| Ключевые слова: информационная безопасность, безопасность программ, тестирование, статический анализ, продукционные модели, эвристический анализ, уязвимости, дефекты, недекларированные возможности | |
Методы статического анализа электрогидравлических рулевых машин ракетных блоков
| Авторы: Белоногов О.Б. | Опубликовано: 12.10.2015 |
| Опубликовано в выпуске: #5(104)/2015 | |
| DOI: 10.18698/0236-3933-2015-5-18-29 | |
| Раздел: Авиационная и ракетно-космическая техника | Рубрика: Контроль и испытание летательных аппаратов и их систем | |
| Ключевые слова: статический анализ, рулевая машина, численное интегрирование, нелинейные дифференциальные уравнения | |