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

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

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

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

0 / 0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Tahun:

2011

Penerbit:

Наука

Bahasa:

russian

Halaman:

246

ISBN 10:

5020381608

ISBN 13:

9785020381605

File:

PDF, 2.47 MB

IPFS:

,

russian, 2011

Membaca daring

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Istilah kunci

состояний

состояние

состояния

автомата

выполняется

множество

проверки

верификации

состоянии

автоматов

переходов

свойства

существует

программ

свойство

программы

проверка

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

верификация

означает

следующим

требуется

автоматной

рассмотрим

алгоритм

банкомата

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

временной

автоматных

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

верификатор

контрпример