| ||||||||||||||||||||||||
Другие журналы
электронный журнал
МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК
Издатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609
Инструмент верификации протокола когерентности памяти
Молодежный научно-технический вестник # 01, январь 2013
УДК: 004.052.4
Файл статьи:
Буренков В.С..pdf
(81.13Кб)
Буренков В.С..pdf
(81.13Кб)
- K.L. McMillan.Symbolic Model Checking: An Approach to the State Explosion Problem, Ph.D. Dissertation. // Carnegie Mellon University, 1992.
- E.M. Clarke, O. Grumberg, D. Peled. Model Checking. // MIT Press, 1999 – 314 pp.
- G.J. Holzmann. The Spin Model Checker: Primer and Reference Manual. – Addison-Wesley, 2003 – 608 pp.
- 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.
Публикации с ключевыми словами: верификация, протокол когерентности памяти, model checking, Spin, cache coherence protocol
Публикации со словами: верификация, протокол когерентности памяти, model checking, Spin, cache coherence protocol
Смотри также:
Тематические рубрики:
Поделиться:
| Авторы |
| Пресс-релизы |
| Библиотека |
| Конференции |
| Выставки |
| О проекте |
| Телефон: +7 (499) 263-61-98 |
|
 |
|||
| © 2003-2024 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98 | |||||
