TY  - BOOK
AU  - Кларк,Эдмунд М.
AU  - Грамберг,Орна
AU  - Пелед,Дорон
AU  - Смелянский,Руслан Леонидович
TI  - Верификация моделей программ: Model Checking
SN  - 5940570542
PY  - 2002///
CY  - М.
PB  - МЦНМО
KW  - Компьютеры персональные
KW  - Программы
KW  - Верификация
KW  - RuMorurkp
KW  - логические схемы
KW  - программное обеспечение
KW  - автоматизация отладки программ
KW  - моделирование параллельных систем
KW  - распределенные программы
KW  - коммуникационные протоколы
KW  - верификация моделей программ
KW  - проверка на модели
KW  - темпоральные логики
KW  - параллельные программы
KW  - теория автоматов
KW  - редукция частичных порядков
KW  - символьная верификация моделей
KW  - SMV программа верификации моделей
KW  - алгоритмы эквивалентности
KW  - алгоритмы квазипорядка
KW  - композиционные доказательства
KW  - абстракция данных
KW  - симметрия
KW  - количественный временной анализ
KW  - дискретное время
KW  - непрерывное реальное время
KW  - временные автоматы
KW  - бесконечные семейства
KW  - конечные системы
KW  - графовые грамматики
KW  - сетевые грамматики
N1  - Библиогр.: с. 377-399; Предм. указ.: с. 400-416
ER  -