В пятницу 7 ноября 2025 г. пройдет семинар "Теоретическое и экспериментальное программирование" (Руководитель: к.ф.-м.н., с.н.с. Гаранина Н.О., соруководители: к.ф.-м.н., н.с. Кондратьев Д.А., к.ф.-м.н., с.н.с. Ануреев И.С., секретарь: к.ф.-м.н. Шилов Н.В.).
Семинар будет совмещён с приглашённой лекцией на контесте по формальной верификации VeHa-2025, поэтому пройдет полностью онлайн и состоится в необычный день и время: в пятницу 7 ноября в 16:00 мск (20:00 нск).
Докладчик: Alexei Lisitsa (School of Computer Science and Informatics, University of Liverpool)
Тема: Finite Countermodel Finding for Infinite State and Parametrized Verification
In this talk, I will present an overview of the Finite Countermodel Method (FCM), a powerful approach to the verification of infinite-state and parameterized systems. I will demonstrate multiple applications of the method and will discuss its relative completeness with respect to methods based on regular invariants.
Выступление будет онлайн, на русском со слайдами на английском.
Ссылка на подключение — постоянная: https://telemost.yandex.ru/j/28529522210499