18 / 18
В.С. Буренков, С.Р. Иванов
66
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. Приборостроение. 2017. № 1
[4]
O’Leary J., Talupur M., Tuttle M. Protocol verification using flows: An industrial experi-
ence.
Proc.
“
Formal Methods in Computer-Aided Design”
, 2009, pp. 172–179.
[5]
Sorin D.J., Hill M.D., Wood D.A. A primer on memory consistency and cache coherence.
San Rafael, Morgan & Claypool Publishers, 2012. 210 p.
[6]
Baier C., Katoen J.-P. Principles of model checking. Cambridge, MIT Press, 2008. 984 p.
[7]
Holzmann G. The spin model checker: Primer and reference manual. Boston, Addison-
Wesley Professional, 2003. 608 p.
Burenkov V.S.
— post-graduate student of Computer Systems, Complexes and Networks De-
partment, Bauman Moscow State Technical University (2-ya Baumanskaya ul. 5, Moscow,
105005 Russian Federation).
Ivanov S.R.
— Cand. Sci. (Eng.), Assoc. Professor of Computer Systems, Complexes and Net-
works Department, Bauman Moscow State Technical University (2-ya Baumanskaya ul. 5,
Moscow, 105005 Russian Federation).
Please cite this article in English as:
Burenkov V.S., Ivanov S.R. Method of Constructing Abstract Models for Protocol Verification
of Cache Coherence in Scalable Systems
.
Vestn. Mosk. Gos. Tekh. Univ. im. N.E. Baumana,
Priborostr.
[Herald of the Bauman Moscow State Tech. Univ., Instrum. Eng.], 2017, no. 1,
pp. 49–66. DOI: 10.18698/0236-3933-2017-1-49-66