Название: Верификация моделей программ: Model Checking
Автор: Кларк Э.М., Грамберг О., Пелед Д.
Издательство: М.: МЦНМО
Год: 2002
ISBN: 5940570542
Формат: pdf,djvu
Страниц: 416 с.: ил.
Размер: 16 mb
Язык: Русский

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

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