ruSTEP10feb22Anureev

Игорь Сергеевич Ануреев (ИСИ СО РАН и Cyber-Physical Systems Lab, Новосибирск): Онтологический подход к дедуктивной верификации императивных программ (первая часть 10 февраля 2022 г.)
В докладе представлен онтологический подход к дедуктивной верификации императивных программ. Основой подхода являются новый вид систем переходов - атрибутные системы, язык спецификации атрибутных систем ASL и новые виды семантик императивных языков программирования - онтологическая, онтологическая операционная и онтологическая логическая. Подход будет проиллюстрирован на модельном императивном языке.