Редактирование: ВПнМ
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 22: | Строка 22: | ||
* Планируется дать более сложную задачу, задача чуть побольше --> | * Планируется дать более сложную задачу, задача чуть побольше --> | ||
Работа в семестре – [[ВПнМ, примеры задач|список задач]]: | Работа в семестре – [[ВПнМ, примеры задач|список задач]]: | ||
- | * Дана программа, необходимо посчитать количество потенциальных и достижимых состояния, а | + | * Дана программа, необходимо посчитать количество потенциальных и достижимых состояния, а так же построить LTS-диаграмму ([[ВПнМ, примеры задач/Задача 1|пример]]). |
* Для программы из первого задания построить её модель с использованием системы SPIN, а также вычислить с её использованием количество состояний модели. В качестве решения прислать модель и output верификатора ([[ВПнМ, примеры задач/Задача 2|пример]]). | * Для программы из первого задания построить её модель с использованием системы SPIN, а также вычислить с её использованием количество состояний модели. В качестве решения прислать модель и output верификатора ([[ВПнМ, примеры задач/Задача 2|пример]]). | ||
* Дана одна из функций ОС Minix, необходимо построить её модель ([[ВПнМ, примеры задач/Задача 3|пример]]). | * Дана одна из функций ОС Minix, необходимо построить её модель ([[ВПнМ, примеры задач/Задача 3|пример]]). |