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

О современных методах автоматической формальной верификации аппаратного обеспечения


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

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

Прочтения курсов

Семестр
весна 2010