Описание:Практические занятия в поддержку лекционных курсов Надёжность Программного Обеспечения и Планирование в распределённых системах. В рамках Практикума студентам необходимо выполнить 5 заданий по темам:
* Потенциальные и достижимые состояния программы
* Размеченные системы переходов
* Верификация модели программы
* Статический анализ программы
* Разработка алгоритма оптимизация надёжности программы или планирования в распределённых системах
* Настройка алгоритма оптимизация надёжности программы или планирования в распределённых системах