Сайт в процессе наполнения. Архив всех прошедших курсов доступен на старой версии сайта по адресу old.compsciclub.ru
Город: Санкт-Петербург Казань Язык: Русский English

Software Verification
Весна 2008, посмотреть все семестры

Запишитесь на курс, чтобы получать уведомления и иметь возможность сдавать домашние задания. Для записи требуется регистрация на сайте.
Перейти к регистрации Войти

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.

  • 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
Дата и время Название Место Материалы
01 мая
14:50–16:20
Assuring software quality by model checking, лекция ПОМИ РАН слайдывидео
01 мая
16:20–17:50
State-event-based reasoning and deadlock detection, лекция ПОМИ РАН слайдывидео
02 мая
14:50–16:30
Automated verification of security policies in mobile code, лекция ПОМИ РАН слайдывидео
02 мая
16:30–18:00
Deadlock detection, лекция ПОМИ РАН слайды