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