Семинар “ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ” 17 ноября 2022 г. (Кондратьев Д.А.)

Объединенный семинар ИСИ СО РАН и кафедры программирования НГУ “ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ и СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ” 17 ноября 2022 года. Докладчик: Кондратьев Дмитрий Александрович (ИСИ СО РАН, Новосибирск) Тема: Автоматизация дедуктивной верификации C-программ без использования инвариантов циклов.