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

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

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

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

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

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

  1. K.L. McMillan.Symbolic Model Checking: An Approach to the State Explosion Problem, Ph.D. Dissertation. // Carnegie Mellon University, 1992.
  2. E.M. Clarke,  O. Grumberg, D. Peled. Model Checking. // MIT Press, 1999 – 314 pp.
  3. G.J. Holzmann. The Spin Model Checker: Primer and Reference Manual. – Addison-Wesley, 2003 – 608 pp.
  4. C. Chou, P. K. Mannava, S. Park. A Simple Method for Parameterized Verification of Cache Coherence Protocols. // Formal Methods in Computer-Aided Design. Lecture Notes in Computer Science ­– 2004 – Vol. 3312, pp. 382-398.

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



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