Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Автоматизация доказательств (линейная целочисленная арифметика, интеграция с решателями), плагин Equations, рандомизированное тестирование, мутационные техники, экстракция
Введение в формальную верификацию программ

Что: Лекция
Когда: Четверг, 20 мая 2021, 18:30–20:00
Где: Конференция в zoom, Онлайн

Видео