Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền

Верификация моделей программ: Model Checking

Main
Computers - Programming
Верификация моделей программ: Model...

Верификация моделей программ: Model Checking

Э. М. Кларк, О. Грамберг, Д. Пелед

0 / 0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.

Thể loại:

Computers - Programming

Năm:

2002

Nhà xuát bản:

Изд-во Моск. центра непрерыв. мат. образования

Ngôn ngữ:

russian

Trang:

416

ISBN 10:

5940570542

ISBN 13:

9785940570547

File:

DJVU, 4.60 MB

IPFS:

,

russian, 2002

Tải vè (djvu, 4.60 MB)

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

Плиско В.Е., Хаханян В.Х. — Интуиционистская логика

Богомолов А. — Эксперименты с автоматами

Баранов С. — Синтез микропрограммных автоматов.

Драгалин А. Г. — Математический интуиционизм. Введение в теорию доказательств

Кейслер Г., Чэн Ч.Ч. — Теория моделей

Овчаренко А. Ю. — Дискретная математика: теория автоматов

Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. — Верификация автоматных программ

Ковригина Л. Ю.,Шилин И. А. — Руководство по выполнению лабораторных работ по теме "Вероятностные языковые модели"

Кудрявцев В.Б., Алёшин С.В., Подколзин А.С. — Введение в теорию автоматов

Нефедов В.Н., Осипова В.А. — Курс дискретной математики: Учебное пособие

Дементьев В.А. — Комплексное проектирование систем управления и контроля летательных аппаратов

Миронов А.М. — Верификация программ методом model checking

Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств

С.Э.Вельдер, М.А.Лукин, А.А.Шалыто, Б.Р.Яминов — Верификация автоматных программ

Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. — Верификация автоматных программ

Шалыто А.А. — Switch-технология. Алгоритмизация и программирование задач логического управления

Бурдонов И.Б., Косачев А.С., Кулямин В.В. — Асинхронные автоматы: Классификация и тестирование

Кириллов Н.П. — Репрезентативная модель объекта управления технических систем. Часть 2

Бурдонов И.Б., Косачев А.С., Кулямин В.В. — Теория соответствия для систем с блокировками и разрушением

Карпов А. — Математические основы теории систем. Часть 1. Учебное пособие

Поттосин Ю.В. — Дискретная математика

Санников, С. П. — Моделирование систем. Самостоятельная работа № 2

Коган Т. И. — Введение в общую теорию автоматов

Глушков В.М. — Введение в кибернетику

Кузьмин А.В. — Теоретические основы систем управления дискретного действия

Глушков В.М. — Введение в кибернетику

Плиско В.Е., Хаханян В.Х. — Интуиционистская логика.

Нефедов В.Н., Осипова В.А. — Курс дискретной математики

Кузьмин А.В. — Теоретические основы систем управления дискретного действия

Нефедов В.Н., Осипова В.А. — Курс дискретной математики.

Захаров Н.Г., Рогов В.Н. — Синтез цифровых автоматов. Учебн. пособ

Под редакцией чл.-корр. РАН В.П. Иванникова — Труды Института системного программирования РАН. Том 4. 2003 г.

Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин — Труды Института системного программирования РАН. Том 14. Подход UniTesk: итоги и перспективы. Часть 1. 2008 г.

Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. — Верификация автоматных программ: Учебное пособие

Аскеров Ч.И., Гамидов В.В. — Эквивалентные представления дискретных устройств

Từ khóa thường sử dụng nhất

состояния

состояний

переходов

состояние

множество

верификации

отношение

выполняется

множества

алгоритм

проверки

верификация

переменных

состоянии

вычисления

рассмотрим

существует

автомата

неподвижной

программы

отношения

предположим

процесса

справедливости

процессов

соотношение

доказательство

определяется

свойство