City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Верификация сортировки вставками и слиянием. Рекурсивные функции с неструктурной рекурсией. Плагин Program. Acc-предикат и рекурсивные функции.
Introduction to Formal Verification

What: Lecture
When: Thursday, 13 May 2021, 22:30–00:00
Where: Конференция в zoom, Онлайн

Video