Лекции по Software Verification в Computer Science Club

Стандартный

В Computer Science клубе при ПОМИ РАН снова будет читаться курс, имеющий отношение к тестированию ПО. На этот раз Natasha Sharygina прочтет мини-курс по Software Verification. Лекции будут на английском языке. Описание курса с сайта клуба:

The course introduces the theory and practice of formal methods for the design and analysis of software systems. The course will cover the underlying logical and theoretical concepts, with focus on the algorithmic solutions, and heuristics to cope with the high computational complexity.

Lectures:

  • Introduction to model checking: system modeling and logic specifications
  • Abstraction in model checking: Predicate abstraction; CEGAR–based software model checking
  • SAT–based software model checking

Лекции пройдут 22, 23 и 28 мая. Время указано в расписании (см. тег SV). Там же есть ссылки на слайды и видео 2008 года, так что можно посмотреть и решить для себя стоит ли идти на лекции.

Реклама

Добавить комментарий

Заполните поля или щелкните по значку, чтобы оставить свой комментарий:

Логотип WordPress.com

Для комментария используется ваша учётная запись WordPress.com. Выход / Изменить )

Фотография Twitter

Для комментария используется ваша учётная запись Twitter. Выход / Изменить )

Фотография Facebook

Для комментария используется ваша учётная запись Facebook. Выход / Изменить )

Google+ photo

Для комментария используется ваша учётная запись Google+. Выход / Изменить )

Connecting to %s