Препринт ИСП РАН 16, 2006 г.

Препринты Института системного программирования РАН, Препринт 16, 2006 г.

И.Б. Бурдонов, А.С. Косачев, В.Н. Пономаренко, В.З. Шнитман. Обзор подходов к верификации распределенных систем. Стр. 1-62.

Аннотация

Настоящий обзор фиксирует современное состояние теории и методов верификации распределенных систем.