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

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

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



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






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


2011, том 18, номер 4  


От редакторов специального выпуска
В. А. Непомнящий, В. А. Соколов
5
Типовые примеры использования языка Atoment
И. С. Ануреев
7
Атрибутные аннотации и их применение в дедуктивной верификации C-программ
М. М. Атучин, И. С. Ануреев
21
Построение приближений бисимуляции в односчетчиковых сетях
В. А. Башкин
33
Статический анализ с использованием систем типов и эффектов на основе LLVM
М. А. Беляев, В. А. Цесько
45
Оптимизационные процедуры в аффинной проверке моделей
Н. О. Гаранина
56
Использование зависимостей для повышения точности статического анализа программ
М. И. Глухих, В. М. Ицыксон, В. А. Цесько
68
Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова
Д. А. Зайцев
80
Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC
А. В. Захаров, М. Ю. Моисеев
94
Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем
А. В. Климов
106
Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов
С.Н. Баранов, В. П. Котляров
118
Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN
Н. Г. Кушик, А. Маммар, А. Кавалли, Н. В. Евтушенко, В. Джиминез, Э. Монте де Ока
131
Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри
Д. М. Белоглазов, М. Ю. Машуков, В. А. Непомнящий
144
Верификация Си-программ: объяснение условий корректности и стандартная библиотека
А. В. Промский
157
Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ
Н. В. Шилов
168
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019