Введение в формальную верификацию программ, лекция 1 | А. Трунов

Введение в формальную верификацию программ, лекция 10 | А. ТруновПодробнее

Введение в формальную верификацию программ, лекция 6 | А. ТруновПодробнее

Введение в формальную верификацию программ, лекция 7 | А. ТруновПодробнее

Введение в формальную верификацию программ, лекция 5 | А. ТруновПодробнее

Введение в формальную верификацию программ, лекция 9 | А. ТруновПодробнее

Введение в формальную верификацию программ, лекция 8 | А. ТруновПодробнее

Лекция 2 | Введение в язык формальной верификации Coq | Антон Трунов | ЛекториумПодробнее

Введение в формальную верификацию программ, лекция 2 | А. ТруновПодробнее

Введение в формальную верификацию программ, лекция 4 | А. ТруновПодробнее

Введение в формальную верификацию программ, лекция 3 | А. ТруновПодробнее

Лекция 1 | Введение в язык формальной верификации Coq | Антон Трунов | ЛекториумПодробнее