Семинар 17.11.2022

Докладчик: Кондратьев Дмитрий Александрович (ИСИ СО РАН, Новосибирск) Тема: Автоматизация дедуктивной верификации C-программ без использования инвариантов циклов.