Верификация автоматных программ
Название: Верификация автоматных программ
Автор: С.Э.Вельдер, М.А.Лукин, А.А.Шалыто, Б.Р.Яминов
Издательство: СПбГУ ИТМО
Год: 2011
Формат: pdf
Размер: 3,27 mb
В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данной области позволяют создавать качественное программное обеспечение для ответственных систем и получать надежные подтверждения их правильности. Учебное пособие посвящено концепциям, алгоритмам и инструментам для проверки моделей программ. В нем излагаются теоретические вопросы проверки моделей, вводятся различные спецификационные формализмы и описываются алгоритмы проверки моделей для спецификаций, выраженных в этих формализмах. Алгоритмы проверки моделей демонстрируются на примерах конкретных инструментальных средств.
Скачать с depositfiles.com
Скачать с turbobit.net
Скачать с letitbit.net
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12789 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Величие и смирение. Очерки политического символизма в средневековой Европе
Автор: Бойцов М.А. Год издания: 2009 Формат: djvu Издат.: РОССПЭН Страниц: 550 Размер: 10 ISBN: 978-5-8243-1200-3 Язык: Русский Книга "Ве . . .
-
Сумерки богов
Автор: Эрих фон Дэникен Год издания: 2012 Формат: pdf Издат.: Питер Страниц: 224 Размер: 13.9 ISBN: 978-5-4237-0103-1, 978-1-60163-141-1 Язык: Рус . . .
-
Легенда об Уленшпигеле (Аудиоспектакль).
Название: Легенда об Уленшпигеле (Аудиоспектакль) Автор: Шарль де Костер Издательство: Радио России Год издания: 2012 Язык: Русский Формат: MP3 Битрейт аудио: 128 kbps Время звучания: 04:00 Читает: . . .
-
Английские артикли
Автор: Митрошкина Т.В. Год издания: 2011 Формат: pdf Издат.: Тетрасистемс, Минск Страниц: 80 Размер: 8,5 Мб ISBN: 978-985-536-206-8 Язык: Русский . . .
-
Математика на 200 балів
Автор:КоллективНазвание: Математика на 200 балівИздательство: Сорока-БилобокаГод: 2010Формат: ISOРазмер: 27МВСтраниц:1000Язык:УкраинскийКомп'ютерна програма «Математика на 200 балів. Версія 2» дозволя . . .
-
iOS 5 Recipes
Название: iOS 5 Recipes Автор: Shawn Grimes, Colin Francis Издательство: Apress Страниц: 602 Формат: Смешанный Размер: 106,61 Мб Качество: Отличное Язык: Английский Год издания: 2012 ISBN: 978-1430240 . . .
-
Существует ли женщина?
Название: Существует ли женщина? (аудиокнига) Автор: Дарио Салас Соммэр Издательство: L-RECORDS Формат: MP3 Размер: 472 Мб Качество: Отличное Язык: Русский Жанр: психология, философия Год издания: 201 . . .
-
Офицеры армейской кавалерии. Опыт мартиролога
Название: Офицеры армейской кавалерии. Опыт мартиролога Автор: Волков С.В. Издательство: Русский путь Страниц: 623 Формат: PDF Размер: 62.3 Качество: Отличное Язык: Русский Год издания: 2004 ISBN: 5-8 . . .
-
Дыхание тела. Часть 1
Название: Дыхание тела. Часть 1 Автор: Левашов Игорь Борисович Издательство: Россия Страниц: 04:10:03 Формат: SATRip Размер: 791 Мб Качество: Отличное Язык: Русский Жанр: Обучающее видео Год издания: . . .
-
Сэр Гарольд и король гномов
Название: Сэр Гарольд и король гномов (аудиокнига) Автор: Лайон Спрэг де Камп Издательство: Аудиокнига своими руками Формат: MP3 Размер: 91,53 Мб Качество: Отличное Язык: Русский Жанр: Юмористическое . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Верификация автоматных программ. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.