Верификация автоматных программ

Main
Верификация автоматных программ

Верификация автоматных программ

М-во образования и науки Российской Федерации, Санкт-Петербургский гос. ун-т информ. технологий, механики и оптики, Вельдер, Сергей Эдуардович

0 / 0

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

Έτος:

2011

Εκδότης:

Наука

Γλώσσα:

russian

Σελίδες:

246

ISBN 10:

5020381608

ISBN 13:

9785020381605

Αρχείο:

PDF, 2.47 MB

IPFS:

,

russian, 2011

Διαβάστε online

Κατεβάστε (pdf, 2.47 MB)

Η μετατροπή σε βρίσκεται σε εξέλιξη

Η μετατροπή σε απέτυχε

Ίσως σας ενδιαφέρει

— Проблемы кибернетики, вып.34

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

Гурвиц Е. — Синтез составных дискретных каналов связи [Текст]

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

Трахтенброт Б. А., Барздинь Я. М. — Конечные автоматы (поведение и синтез)

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

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

Хлебников А. А., Харьковский С. Е. — Автоматное программирование: Учебное пособие

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

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

— Проблемы кибернетики (вып. 20)

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

Поликарпова Н.И., Шалыто А.А. — Автоматное программирование

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

Трахтенброт Б.А., Бардзинь Я.М. — Конечные автоматы (поведение и синтез)

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

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

Поликарпова Н. И., Шалыто А. А. — Автоматное программирование

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

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

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

Костенко К.И. — Учебник. Часть VIII

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

Кокин А.Г., Кузнецов В.Н. — Конечные автоматы: языки и грамматики

Сергиевский Г.М., Короткова М.А. — Введение в математическую лингвистику и теорию автоматов

Карпов А. Г. — Математические основы теории систем

Карпов А. Г. — Математические основы теории систем

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

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

Гилл А. — Введение в теорию конечных автоматов

Варшавский В — Апериодические автоматы

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

Гилл А. (Gill A.) — Введение в теорию конечных автоматов.

— Теория автоматов. Курс лекций

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

Φράσεις κλειδιά

состояний

состояние

состояния

автомата

выполняется

множество

проверки

верификации

состоянии

автоматов

переходов

свойства

существует

программ

свойство

программы

проверка

темпоральной

верификация

означает

следующим

требуется

автоматной

рассмотрим

алгоритм

банкомата

спецификации

временной

автоматных

удовлетворяет

верификатор

контрпример