ЛекториумМедиатека
Личный кабинет

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

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

Лекции курса

3
  1. Software Verification (2010). Лекция 1
  2. Software Verification (2010). Лекция 2▶ Вы тут
  3. Software Verification (2010). Лекция 3

Онлайн-курсы по программированию

3