Международный семинар «Семантика, спецификация и верификация программ: теория и приложения» г. Казань, 14-15. 06
| Вид материала | Семинар |
- Семинар Международный, 150.59kb.
- Всемирная инициатива cdio международный семинар по вопросам инноваций и реформированию, 412.76kb.
- В казани обсуждают перспективы исламского банкинга (Казань, 5 июня, «Татар-информ»,, 70.03kb.
- Неотъемлемой частью работ при разработке или модификации программных систем является, 22.36kb.
- Семинар пройдет в рамках Международного Балтийского Морского фестиваля (Санкт-Петербург,, 57.03kb.
- Содружество независимых государств, 172.06kb.
- Модератор Бергер Яков Михайлович: Позвольте приступить к заключительной сессии нашего, 813.91kb.
- Министерство Образования Чувашской Республики Чувашский республиканский институт образования, 50.78kb.
- Программа «Интеллектуальные системы. Теория и приложения» Направление 511800 «Математика., 107.61kb.
- Семинар "Теория игр" проводится кафедрой Математическое моделирование экономических, 38.54kb.
Международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (г.Казань, 14-15.06.2010)
Список принятых докладов
- Anikeev M., Madlener F., Schlosser A., Huss S. A., Walther Ch. «A Viable Approach to Machine-Checked Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography»
- Konnov I.V. «Using adaptive symmetry reduction for LTL model checking»
- Letichevsky A.A., Letychevskyi O.A., Weigert T. «Predicate transformers for symbolic verification»,
- Батаев А.В., Давыдов А.А., Налютин Н.Ю., Синицын С.В. «Метод генерации тестовых данных на основе формальных спецификаций»
- Башкин В.А. «Об использовании однопериодических базисов для глобальной символьной верификации»
- Башкин В.А., Ломазова И.А. «Двухуровневое моделирование мультиагентных систем на основе обобщенных сетей активных ресурсов»
- Беляев А.Б. «Верификация алгоритма поддержки транзакционной памяти»
- Бурдонов И.Б., Косачев А.С. «Симуляция систем с отказами и разрушением»
- Бурдонов И.Б., Косачев А.С. «Тестирование безопасной симуляции»
- Валиев М.К., Дехтярь М.И. «Сложность верификации недетерминированных вероятностных мультиагентных систем»
- Гаранина Н.О. «Аффинное представление данных для символьной проверки моделей распределенных систем»
- Давыдов А.В., Ларионов А.А. «Об исчислении позитивно-образованных формул для автоматического доказательства теорем»
- Калентьев А.А., Тюгашев А. А., Шулындин А.В. «Формальная верификация требований к управляющим алгоритмам реального времени»
- Клебанов А. А., Степанов О. Г., Шалыто А. А. «Применение шаблонов требований к формальной спецификации и верификации автоматных программ»
- Клепнин А.В., Мелентьев А.А. «Интеграция семантических верификаторов в компиляторы языка Java»
- Котляров В.П., Дробинцев П.Д. «Формальный подход к проверке качества программных продуктов».
- Кузьмин Е. В., Соколов В. А., Чалый Д. Ю. «О языках автоматных счетчиковых машин»
- Мальшаков Г.В. «Верификация объединения подсистем автоматизации вуза»
- Непомнящий В.А., Ануреев И.С., Атучин М.М., Марьясов И.В., Петров А.А., Промский А.В. «Система анализа и верификации С-программ СПЕКТР-2»
- Подловченко Р. И. «Методология построения системы эквивалентных преобразований, полной в модели вычислений, и ее применение для алгебраических моделей программ»
- Федотов В.Н. «Сервисно-ориентированный подход к тестированию интеграции в распределенных системах»
- Шелехов В.И. «Верификация и синтез программ сложения на базе правил корректности операторов»
- Шилов Н.В. «Пример верификации в проекте F@BOOL@»
- Шошмина И.В., Карпов Ю.Г. «Технология проектирования и верификации распределенных бортовых систем»