Новости

Предварительные версии слайдов по верификации

19.10.2007 - 23:32 Александр Куликов

И снова здравствуйте!

Спешу сообщить вам, что появились предварительные версии слайдов Бориса Юрьевича Конева, который, как вы все уже знаете, в эту субботу в 18-00 начнет читать курс по верификации. Я также добавил Бориса Юрьевича на страницу "преподаватели". Курс обещает быть очень интересным, так что обязательно приходите.

Саша

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

Содержание ближайшей лекции по алгоритмам и курса по верификации

19.10.2007 - 23:31 Александр Куликов

Привет!

Завтра я буду рассказывать о задаче пропозициональной выполнимости. Мы узнаем, почему это задача важна, научимся сводить к ней другие задачи, узнаем немного о программах для решения этой задачи, после чего перейдем к алгоритмам. Из алгоритмов я планирую рассказать метод расщепления (DPLL и PPSZ), а также метод случайных блужданий. Слайды я пока решил не выкладывать, но сразу после лекции они будут.

Напоминаю также, что завтра нам предстоит выбрать время для первой лекции по верификации в субботу, 20-го октября. Пока что мы планиурем начать ее в 17-45, но посмотрим завтра, сколько человек такое время не устроит. Ниже привожу краткое содержание курса по верификации.

Верификация - это проверка того, что аппаратная или программная система соответствует заявленной спецификации (то есть обладает необходимыми свойствами). Данный курс является введением в методы верификации аппаратных и программных систем. В частности, будут освещены следующие темы:

  • реактивные системы и их моделирование;
  • временные логики;
  • метод проверки моделей (model checking) и алгоритмы для проверки моделей;
  • задача булевой выполнимости и ее роль в верификации аппаратных и программных систем.

Наряду с теоретическими основами верификации будут рассмотрены программные средства для верификации и примеры.

До завтра!
Саша

Ваша оценка: Пусто Средняя: 1 (2 голосов)
Share |
RSS-материал