Международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (г. Казань, 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@» , «Технология проектирования и верификации распределенных бортовых систем»
