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

Общая информация
ЛекторА. А. Кожевников
Семестрвесна 2010
Дата начала21.02.2010
Количество пар2
Язык курсарусский
Видеоhttp://video.yandex.ru/users/pdmicsclub/view/61/
Аннотация Предварительно содержание:
  • Альтернирующие автоматы (конечные и Бюхи) и их применения
  • hwmc competition — соревнования пруверов для верификации железа и доступные академические пруверы
Слайды первой лекции
Лекции Подсказка: слайды, видеозапись и другие материалы лекции доступны со страницы лекции, попасть на которую можно, нажав на её название.

Ваша оценка: Пусто Средняя: 5 (1 голос)
Share |