Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Теория соответствия для систем с блокировками и разрушениями
Глава 2. Синхронное тестирование
Предыдущая страница
Следующая страница
Оглавление
Предисловие
1. Формальные модели и соответствия между ними
2. Отношение ioco и его проблемы
3. Предлагаемый в данной работе подход
4. Благодарности
Как читать эту книгу
1. Краткое содержание книги
2. Нумерация и ссылки
3. Порядок чтения книги
Общематематические понятия и обозначения
1. Множества, числа и соответствия
2. Последовательности
3. Деревья последовательностей
4. Порождающий граф
Глава 1. Основные понятия теории соответствия
+
Глава 2. Синхронное тестирование
-
2.1. Машина тестирования
2.2. Трассовые модели
2.3. LTS-модель
2.4. Сравнение моделей
2.5. Пополнение спецификации
Глава 3. Верификация композиции
+
Глава 4. Верификация композиции в частных случаях
+
Итоги и перспективы
Список литературы
Приложение A. Доказательства утверждений
Данный блок поддерживает скрол*