Международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (г.Казань, 14-15.06.2010)

Список принятых докладов

  1. 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»
  2. Konnov I.V. «Using adaptive symmetry reduction for LTL model checking»
  3. Letichevsky A.A., Letychevskyi O.A., Weigert T. «Predicate transformers for symbolic verification»,
  4. Батаев А.В., Давыдов А.А., Налютин Н.Ю., Синицын С.В. «Метод генерации тестовых данных на основе формальных сп ецификаций»
  5. Башкин В.А. «Об использовании однопериодических базисов для глобальной символьной верификации»
  6. Башкин В.А., Ломазова И.А. «Двухуровневое моделирование мультиагентных систем на основе обобщенных сетей активных ресурсов»
  7. Беляев А.Б. «Верификация алгоритма поддержки транзакционной памяти»
  8. Бурдонов И.Б., Косачев А.С. «Симуляция систем с отказами и разрушением»
  9. Бурдонов И.Б., Косачев А.С. «Тестирование безопасной симуляции»
  10. Валиев М.К., Дехтярь М.И. «Сложность верификации недетерминированных вероятностных мультиагентных систем»
  11. Гаранина Н.О. «Аффинное представление данных для символьной проверки моделей распределенных систем»
  12. Давыдов А.В., Ларионов А.А. «Об исчислении позитивно-образованных формул для автоматического доказательства теорем»
  13. Калентьев А.А., Тюгашев А. А., Шулындин А.В. «Формальная верификация требований к управляющим алгоритмам реального времени»
  14. Клебанов А. А., Степанов О. Г., Шалыто А. А. «Применение шаблонов требований к формальной спецификации и верификации автоматных программ»
  15. Клепнин А.В., Мелентьев А.А. «Интеграция семантических верификаторов в компиляторы языка Java»
  16. Котляров В.П., Дробинцев П.Д. «Формальный подход к проверке качества программных продуктов».
  17. Кузьмин Е. В., Соколов В. А., Чалый Д. Ю. «О языках автоматных счетчиковых машин»
  18. Мальшаков Г.В. «Верификация объединения подсистем автоматизации вуза»
  19. Непомнящий В.А., Ануреев И.С., Атучин М.М., Марьясов И.В., Петров А.А., Промский А.В. «Система анализа и верификации С-программ СПЕКТР-2»
  20. Подловченко Р. И. «Методология построения системы эквивалентных преобразований, полной в модели вычислений, и ее применение для алгебраических моделей программ»
  21. Федотов В.Н. «Сервисно-ориентированный подход к тестированию интеграции в распределенных системах»
  22. Шелехов В.И. «Верификация и синтез программ сложения на базе правил корректности операторов»
  23. Шилов Н.В. «Пример верификации в проекте F@BOOL@»
  24. Шошмина И.В., Карпов Ю.Г. «Технология проектирования и верификации распределенных бортовых систем»