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