Содержание
Введение
Глава 1. Автоматное программирование для решения задач логического управления
1.1. Автоматное программирование или йисИтсхнология
1.2. Проблема верификации автоматных программ.
1.3. Синхронный подход
1.4. Синхронный подход в языке свЬсге .
Глава 2. Среда разработки и верификации синхронноавтоматных программ
2.1. Формальная модель автоматной программы
2.2. Форматы данных
2.3. Верифицируемые свойства. Язык ТетрЕй
2.4. Структура среды разработки.
Глава 3. Примеры
3.1. Пример 1 Арбитр шины .
3.2. Пример 2 Часыбудильник.
3.3. Пример 3 Микроволновая печь
3.4. Выводы.
Заключение
Литература
- Київ+380960830922