Вы здесь

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

Software Verification (2009). Lecture 2

Лекция

Партнёр:

Computer Science клуб при ПОМИ РАН

Предмет:

Computer Science

Лектор:

Наталья Шарыгина

Курс лекций:

Software Verification (2009)

Дата записи:

01.03.09

Дата публикации:

01.05.08

Код для блога:

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

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

1

Software Verification (2009). Lecture 1

Computer Science клуб при ПОМИ РАН

Наталья Шарыгина

Хит