Основы формальной верификации

Курс рассматривает основные понятия формальной верификации.

Прочтения курса