12.78

Юлия Болдырева

Саратовский государственный технический университет имени Гагарина ЮА (СГТУ)

Студент


ВЕРИФИКАЦИЯ АВТОМАТНЫХ ПРОГРАММ НА ЯЗЫКЕ PROMELA

Объектом исследования является верификация модели системы «Кофейный автомат». Предметом исследования - технология автоматного программирования. Целью работы является разработка тестового примера для верификации в качестве учебного средства изучения формальной верификации. Исходя из поставленной цели, было проведено теоретическое исследование...

1

134   12   0

Информатика

Дипломы

Дата публикации: 22.08.2020 16:56


Для лиц старше 18 лет