12.78

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

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

Студент

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

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


Информатика
больше 3 лет назад


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

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


Информатика - Дипломы
больше 3 лет назад


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