Model Checking. Верификация параллельных и распределенных программных систем
Название: Model Checking. Верификация параллельных и распределенных программных систем
Автор: Ю. Г. Карпов
Издательство: БХВ-Петербург
ISBN: 978-5-9775-0404-1
Год издания: 2010
Страниц: 552
Язык: Русский
Формат: djvu
Качество: хорошее
Размер: 12.2 Мб
Описание:
В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях.
На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логическом управления с несколькими вариантами заданий.
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12768 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Ed Fowler's Knife Talk: The Art & Science of Knifemaking pdf 109Мб
Автор: Ed Fowler'sНазвание: Ed Fowler's Knife Talk: The Art & Science of KnifemakingИздательство: Krause PublicationsГод: 1998Страниц: 159ISBN: 0873415841Формат: pdfРазмер: 109 МбЯзык: АнглийскийКачес . . .
-
Орджоникидзе Г.К. Статьи и речи (в 2-х томах) djvu 35,2Мб
Название: Орджоникидзе Г.К. Статьи и речи (в 2-х томах)Автор: Г.К.ОрджоникидзеИздательство: ГосполитиздатГод издания: 1956Формат: DjVuЯзык: русскийCтраниц: 1380Размер: 35,2 МБОписание: В сборник стате . . .
-
Medieval Siege Warfare (Trade Editions) pdf 26,6Мб
Автор: КолективНазвание: Medieval Siege Warfare (Trade Editions)Издательство: Osprey PublishingГод: 1999Страниц: 64ISBN: 1855329476Формат: pdfРазмер: 26,6 МбЯзык: АнглийскийКачество: хорошееDuring the . . .
-
Решения 1945—1956 djvu 6,1Мб
Название: Решения 1945—1956Автор: Рейман МаксИздательство: ПолитиздатГод издания: 1975Формат: DjVuЯзык: русскийCтраниц: 267Размер: 6,1 МБОписание: Мемуары видного деятеля немецкого и международного ко . . .
-
Умное делание и естествознание. Введение в символизм взаимоотношений науки и религии pdf 17,4Мб
Название: Умное делание и естествознание. Введение в символизм взаимоотношений науки и религииАвтор: Арабаджи Д.В.Издательство: КолоГод: 2011Страниц: 194ISBN: 978-966-2405-76-7Формат: PDFЯзык: Русски . . .
-
Античные риторики djvu 7,4Мб
Автор: ред. А.А.Тахо-ГодиИздательство: М.: изд. Московского университетаГод издания: 1978Страниц: 352Формат: djvuРазмер: 7.4 МбЭпоха эллинизма, таким образом, создала множество самых разнообразных кон . . .
-
Практика и теория археологических исследований pdf 23,7Мб
Название: Практика и теория археологических исследований. Труды отдела охранных раскопок Авторы: Коллектив авторовИздательство: Москва: Институт археологии РАН Год: 2001ISBN: 5-94375-003-7Страниц: 30 . . .
-
Предлоги в современном английском языке pdf 5,3Мб
Название: Предлоги в современном английском языкеАвтор: Христорождественская Л.П.Издательство: Мн: Интерспрессервис, Современная ШколаISBN: 985-6751-20-9Год: 2005Страниц: 192Язык: РусскийФормат: pdfРа . . .
-
Организованный капитализм djvu 5,5Мб
Название: Организованный капитализмАвтор: коллективИздательство: Издательство Коммунистической АкадемииГод издания: 1930Формат: DjVuЯзык: русскийCтраниц: 201Размер: 5,5 МБОписание: Содержанием предлаг . . .
-
Присоединение и освоение Сибири djvu 4,2Мб
Название: Присоединение и освоение СибириАвтор: Мирзоев В.Г.Издательство: Издательство социально-экономической литературыГод издания: 1960Формат: DjVuЯзык: русскийCтраниц: 188Размер: 4,2 МБОписание: В . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Model Checking. Верификация параллельных и распределенных программных систем. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.