Вы здесь

  • Войдите, чтобы отправлять комментарии

Software Verification (2010). Лекция 2

Лекция
Партнёр:
Предмет:
  • Computer Science
Лектор:
Наталья Шарыгина
Курс лекций:
Дата записи:
01.03.09
Дата публикации:
22.05.10
Код для блога:

Abstraction in model checking: Predicate abstraction; CEGAR-based software model checkin.

Дополнительные материалы: 
Файл software_verification_sharygina_lecture02.pptx

Другие лекции курса

2
Software Verification (2010). Лекция 3
Computer Science клуб при ПОМИ РАН
Наталья Шарыгина
Software Verification (2010). Лекция 1
Computer Science клуб при ПОМИ РАН
Наталья Шарыгина
Хит