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