Software Verification (2010). Лекция 2
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
01.03.09
Дата публикации:
22.05.10
Код для блога:
Abstraction in model checking: Predicate abstraction; CEGAR-based software model checkin.
Дополнительные материалы:
![application/vnd.openxmlformats-officedocument.presentationml.presentation Файл](/modules/file/icons/x-office-presentation.png)