Software Verification

Общая информация
ЛекторН. Шарыгина
Семестрвесна 2008
Дата начала01.05.2008
Количество пар4
Язык курсаанглийский
Аннотация 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
Слайды первой лекции
Лекции Подсказка: слайды, видеозапись и другие материалы лекции доступны со страницы лекции, попасть на которую можно, нажав на её название.

Ваша оценка: Пусто Средняя: 5 (1 голос)
Share |