Верификация моделей программ=
Кларк, Эдмунд М., мл.
Верификация моделей программ= Model Checking / Эдмунд М. Кларк, мл., Орна Грамберг, Дорон Пелед; Пер. с англ. под. ред. В. Захарова и др. - Москва : Изд-во Моск. центра непрерыв. мат. образования, 2002. - 416 с. ил.
Библиогр.: с. 377-399
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
5-94057-054-2
Вычислительная техника--Вычислительные машины электронные цифровые
Программирование
Автоматизация
Верификация систем программирования Верификация моделей программ Параллельные системы с конечным числом состояний Модели в темпоральной логике
Верификация моделей программ= Model Checking / Эдмунд М. Кларк, мл., Орна Грамберг, Дорон Пелед; Пер. с англ. под. ред. В. Захарова и др. - Москва : Изд-во Моск. центра непрерыв. мат. образования, 2002. - 416 с. ил.
Библиогр.: с. 377-399
В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
5-94057-054-2
Вычислительная техника--Вычислительные машины электронные цифровые
Программирование
Автоматизация
Верификация систем программирования Верификация моделей программ Параллельные системы с конечным числом состояний Модели в темпоральной логике