Семинар «Инжиниринг современных информационных систем»

1 апреля 2022 г. (пятница), 15:00 (11:00 МСК)

Тема:
Автоматное программирование на базе системы моделирования и верификации Event-B

Докладчик:
Шелехов Владимир Иванович
(Институт систем информатики СО РАН, Новосибирск)

Аннотация: Определяется концепция автоматного программирования. Представляется  язык автоматного программирования, построенный расширением языка спецификаций Event-B. Определяется модель Event-B в автоматном программировании. Описывается технология разработки и верификации на базе системы Event-B. Технология демонстрируется на примере задачи управления движением на мосту из руководства по системе Event-B.

ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj

видео -- https://youtu.be/la-DLQ4uf8M

Страница семинара