TY  - BOOK
AU  - Кларк,Эдмунд М.,мл
AU  - Грамберг,Орна
AU  - Пелед,Дорон
AU  - Захаров,В.
TI  - Верификация моделей программ=: Model Checking 
SN  - 5-94057-054-2
PY  - 2002///
CY  - Москва
PB  - Изд-во Моск. центра непрерыв. мат. образования
KW  - Вычислительная техника
KW  - Вычислительные машины электронные цифровые
KW  - Программирование
KW  - Автоматизация
KW  - Верификация систем программирования
KW  - Верификация моделей программ
KW  - Параллельные системы с конечным числом состояний
KW  - Модели в темпоральной логике
N1  - Библиогр.: с. 377-399
N2  - В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем
ER  -