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

Hardware Verification


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

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

Course Offerings

Semester Branch
spring 2010 Saint Petersburg