MODEL CHECKING
Автор: Карпов Ю.Г.
Описание: В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL.
Жанры: Научная фантастика
Средний рейтинг: 3,0
Добавил: 1
Отзывы
1 (3/5)
Ничего не понятно, но очень интересно
Наташа_Ростова (3/5)
Книга на один вечер. Прочитал и забыл. Сюжет слабый.
Для добавления отзывов войдите или зарегистрируйтесь.