Наименование: Model Checking. Верификация параллельных и распределенных программных систем.
Создатель: Ю. Г. Карпов
Издательство: БХВ-Петербург.
Дата выпуска: 2010 г.
Листов (страниц): 552 стр
Расширение: djvu
Объем файла: 11.89 Мб
ISBN: 978-5-9775-0404-1
Язык издания: Русский

Представлены сведения справочного характера относительно последних результатов в сфере проверки данных с применением методики model checking. Будут полезны примеры приложений этого метода в различных сферах. Описывается также важная проблема верификации, темпоральные логики, представлены последние алгоритмы model checking, которые используются в CTL и LTL. Описаны бинарные решающие диаграммы, символьная верификация. Представлены сведения количественного анализа систем и системы реального времени. Автор рассказывает читателям также и об использовании фундаментальных идей алгоритма model checking в различных приложениях.