30.03.2022
Семинар «Инжиниринг современных информационных систем»
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