Научный семинар кафедры. Доклад Бугайченко М.Ю.

ВНИМАНИЕ! Произошла замена ближайшего доклада.
Анонсированный предварительно доклад Смирнова М.Н. перенесён.

В четверг 9 декабря 2010 года в 17-20 в аудитории 2448 состоится
заседание научного семинара кафедры системного программирования.

С докладом выступит Бугайченко Дмитрий Юрьевич.
Тема доклада:

    Символическая верификация - теория и практика.
    Применение многокорневых бинарных решающих диаграмм для
    вероятностной верификации

Аннотация доклада:

    По сути доклад из двух частей. В первой части небольшой рассказ
    о задаче model checking, о классах систем с которыми приходится
    работать, о некоторых инструментах и успешных случаях применения.
    Во второй части рассказ о том что такое BDD и как они применяются,
    о том что такое ADD (MTBDD) и как они применяются для вероятностной
    верификации. А затем собственно про нашу разработку - MRBDD,
    позволяющую представлять распределения вероятности более эффективно
    чем MTBDD без потери общности операций.