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

Software Verification (2009). Lecture 2

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

Лекции курса

2
  1. Software Verification (2009). Lecture 1
  2. Software Verification (2009). Lecture 2▶ Вы тут

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

3