13.10.2021
Семинар «Инжиниринг современных информационных систем»
15 октября 2021 г. (пятница), 14:00 (10:00 МСК)
Тема:
Сдвиговый автомат как средство задания структурных свойств автоматной модели поведения
Докладчик:
Максим Нейзов (Проектный институт АвтоПромТермоОбработка, Курган)
Аннотация: Доклад посвящен подходу к дедуктивной верификации управляющих программ, который заключается в построении автоматной модели программы и задании на её основе системы аксиом. При построении аксиоматики одной из ключевых задач является задача формализации структурных свойств автоматной модели. В качестве решения в докладе будет представлена модификация автоматной модели, которая получила название "сдвиговый автомат". Свойства модели демонстрируются и обсуждаются на примерах.
ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj