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

О современных методах автоматической формальной верификации аппаратного обеспечения
Санкт-Петербург / весна 2010, посмотреть все семестры

Запишитесь на курс, чтобы получать уведомления и иметь возможность сдавать домашние задания. Для записи требуется регистрация на сайте.
Перейти к регистрации Войти

Предварительно содержание:

  • Альтернирующие автоматы (конечные и Бюхи) и их применения
  • hwmc competition — соревнования пруверов для верификации железа и доступные академические пруверы

Видео лекций: https://www.lektorium.tv/course/22767

Дата и время Название Место Материалы
21 февраля
15:20–16:50
Лекции 1-2, лекция ПОМИ РАН слайды