Том 17, № 4 (2010)

Содержание

Оригинальные статьи

От редакторов специального выпуска
В. А. Непомнящий, В. А. Соколов 5-6
Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography PDF (Rus)
M. Anikeev, F. Madlener, A. Schlosser, S. Huss, C. Walther 7-16
Генерация тестовых данных на основе формального анализа данных конфигурации проекта PDF (Rus)
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын 17-26
Безопасное тестирование симуляции систем с отказами и разрушением PDF (Rus)
И. Б. Бурдонов, А. С. Косачев 27-40
О сложности верификации недетерминированных вероятностных мультиагентных систем PDF (Rus)
М. К. Валиев, М. И. Дехтярь 41-51
Проверка моделей распределенных систем с помощью аффинного представления данных PDF (Rus)
Н. О. Гаранина 52-59
Об исчислении позитивно-образованных формул для автоматического доказательства теорем PDF (Rus)
А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин 60-69
Интеграция семантических верификаторов в компиляторы языка Java PDF (Rus)
А. В. Клепинин, А. А. Мелентьев 70-77
Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени PDF (Rus)
И. В. Коннов, В. А. Захаров 78-87
Верификация C-программ в мультиязыковой системе СПЕКТР PDF (Rus)
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский 88-100
Верификация и синтез программ сложения на базе правил корректности операторов PDF (Rus)
В. И. Шелехов 101-110
Пример верификации в проекте F@BOOL@, основанном на булевских решателях PDF (Rus)
Н. В. Шилов 111-124
Проектирование программных бортовых систем управления с поддержкой верификации PDF (Rus)
И. В. Шошмина 125-136


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)