City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English
Computer Science Club

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
Computer Science Club, 2007–24 гг.