О современных методах автоматической формальной верификации аппаратного обеспечения. Лекция 1
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
01.03.10
Дата публикации:
21.05.10
Код для блога:
- Альтернирующие автоматы (конечные и Бюхи) и их применения
- hwmc competition — соревнования пруверов для верификации железа и доступные академические пруверы