Название: Верификация моделей программ: Model Checking Автор: Кларк Э.М., Грамберг О., Пелед Д. Издательство: М.: МЦНМО Год: 2002 ISBN: 5940570542 Формат: pdf,djvu Страниц: 416 с.: ил. Размер: 16 mb Язык: Русский
Параллельные системы с конечным числом состояний естественным образом возникают во многих разделах теории вычислений, в частности при проектировании цифровых электронных схем и коммуникационных протоколов. Логические ошибки, проявляющиеся на поздних стадиях проектирования таких систем, представляют чрезвычайно важную проблему как для схемотехников, так и для программистов.
Настоящее издание содержит методику верификации моделей и может служить справочным пособием для исследователей.
Верификация программного обеспечения (2017) Название: Верификация программного обеспечения Автор: Синицын С.В., Налютин Н.Ю. Издательство: М.: Интуит; Саратов: Вузовское образование Год: 2017...
Методы анализа нелинейных динамических моделей Название: Методы анализа нелинейных динамических моделей Автор: Холодниок М., Клич А., Кубичек М., Марек М. Издательство: Мир Год: 1991 Страниц: 368...
Проектирование цифровых систем на VHDL Название: Проектирование цифровых систем на VHDL Автор: Суворова E. А., Шейнин Ю. Е. Издательство: БХВ-Петербург Год издания: 2003 Страниц: 576...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
Верификация моделей программ: Model Checking 
