ВНИМАНИЕ! Произошла замена
ближайшего доклада.
Анонсированный предварительно доклад Смирнова М.Н. перенесён.
В четверг 9 декабря 2010 года в
17-20 в аудитории 2448 состоится
заседание научного семинара кафедры системного программирования.
С докладом выступит Бугайченко
Дмитрий Юрьевич.
Тема доклада:
Символическая
верификация - теория и практика.
Применение многокорневых бинарных решающих диаграмм для
вероятностной верификации
Аннотация доклада:
По сути доклад из
двух частей. В первой части небольшой рассказ
о задаче model checking, о классах систем с которыми
приходится
работать, о некоторых инструментах и успешных случаях
применения.
Во второй части рассказ о том что такое BDD и как они применяются,
о том что такое ADD (MTBDD) и как они применяются для
вероятностной
верификации. А затем собственно про нашу разработку - MRBDD,
позволяющую представлять распределения вероятности более
эффективно
чем MTBDD без потери общности операций.
Мониторинг выпускников
