|
От редакторов специального выпуска
В. А. Непомнящий, В. А. Соколов
|
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 |
