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