Информатика и системы управления
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Другие журналы

электронный журнал

МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Издатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609

Генератор тестов для верификации протокола когерентности кэш-памяти

Молодежный научно-технический вестник # 02, февраль 2015
УДК: 004.052.4
Файл статьи: Буренков В.С..pdf (176.33Кб)
автор: Буренков В. С.

1.   Clarke E.M., Grumberg O., Peled D. Model Checking. Cambridge: MIT Press, 1999. 314 p.

2.   Буренков В.С. Анализ применимости инструмента Spin к верификации протоколов когерентности памяти // Вопросы радиоэлектроники. 2013. Вып. 3. С. 126-134.

3.   Holzmann G.J. The Spin Model Checker: Primer and Reference Manual. Boston: Addison-Wesley, 2003. 608 p.

4.   Intel 64 and IA-32 Architectures Software Developer’s Manual Volume 3A: System Programming Guide, Part 1, 2014. 454 pp. Режим доступа: http://www.intel.ru/content/dam/www/public/us/en/documents/manuals/64-ia-32-architectures-software-developer-vol-3a-part-1-manual.pdf (дата обращения 24.11.2014).

5.   Буренков В.С. Инструмент верификации протокола когерентности памяти // Молодежный научно-технический вестник. МГТУ им. Н.Э. Баумана. Электрон. журн. 2013. № 1. Режим доступа: http://sntbul.bmstu.ru/doc/532989.html (дата обращения 10.06.2014).

6.   Куцевол В.Н., Мешков А.Н., Петроченков М.В. Методология верификации протокола когерентности микропроцессора «Эльбрус-2S» // Вопросы радиоэлектроники. 2013. Вып.3. С. 107-117.


Тематические рубрики:
Поделиться:
 
ПОИСК
 
elibrary crossref neicon rusycon
 
ЮБИЛЕИ
ФОТОРЕПОРТАЖИ
 
СОБЫТИЯ
 
НОВОСТНАЯ ЛЕНТА



Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (499) 263-61-98
  RSS
© 2003-2021 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98