Инженерный журнал: наука и инновацииЭЛЕКТРОННОЕ НАУЧНО-ТЕХНИЧЕСКОЕ ИЗДАНИЕ
свидетельство о регистрации СМИ Эл № ФС77-53688 от 17 апреля 2013 г. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский

Поиск по ключевому слову "проверка модели"


Проблемы параметризованной верификации протоколов когерентности памяти

Опубликовано: 18.11.2013

Авторы: Буренков В.С., Иванов С.Р.

Опубликовано в выпуске: #11(23)/2013

DOI: 10.18698/2308-6033-2013-11-1013

Раздел: Информационные технологии

Подход к поиску взаимных блокировок в многопоточном программном обеспечении с помощью верификатора SPIN

Опубликовано: 01.01.2013

Авторы: Можаров Г.П., Парфилов И.В.

Опубликовано в выпуске: #11(11)/2012

DOI: 10.18698/2308-6033-2012-11-481

Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети

Подход к верификации моделей систем реального времени с помощью метода Model Checking

Опубликовано: 31.12.2012

Авторы: Андреев А.М., Козлов И.А.

Опубликовано в выпуске: #11(11)/2012

DOI: 10.18698/2308-6033-2012-11-478

Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети