RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


2010, том 17, номер 4  


От редакторов специального выпуска
В. А. Непомнящий, В. А. Соколов
1
Automated correctness proof of algorithm variants in elliptic curve cryptography
M. Anikeev, F. Madlener, A. Schlosser, S. A. Huss, C. Walther
7
Генерация тестовых данных на основе формального анализа данных конфигурации проекта
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын
17
Безопасное тестирование симуляции систем с отказами и разрушением
И. Б. Бурдонов, А. С. Косачев
27
О сложности верификации недетерминированных вероятностных мультиагентных систем
М. К. Валиев, М. И. Дехтярь
41
Проверка моделей распределенных систем с помощью аффинного представления данных
Н. О. Гаранина
52
Об исчислении позитивно-образованных формул для автоматического доказательства теорем
А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин
60
Интеграция семантических верификаторов в компиляторы языка Java
А. В. Клепинин, А. А. Мелентьев
70
Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени
И. В. Коннов, В. А. Захаров
78
Верификация C-программ в мультиязыковой системе СПЕКТР
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
88
Верификация и синтез программ сложения на базе правил корректности операторов
В. И. Шелехов
101
Пример верификации в проекте F@BOOL@, основанном на булевских решателях
Н. В. Шилов
111
Проектирование программных бортовых систем управления с поддержкой верификации
И. В. Шошмина
125
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019