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

Hardware Verification
Saint Petersburg / spring 2010, посмотреть все семестры

Enroll in the course to get notifications and to be able to submit home assignments.
Register to enroll now Login

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

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

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

Date and time Class|Name Venue|short Materials
21 February
15:20–16:50
Лекции 1-2, Lecture ПОМИ РАН slides