Сортировать по:
Выпуск | Название | |
Том 30, № 4 (2018) | Динамическая верификация контроллеров шин систем-на-кристалле | Аннотация похожие документы |
М. М. Чупилко, Е. А. Дроздова | ||
"... В работе представлен подход к верификации коммутационных компонентов систем на кристалле. Основной ..." | ||
Том 31, № 3 (2019) | Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров | Аннотация похожие документы |
Павел Викторович Фролов | ||
"... При разработке систем-на-кристалле необходимо проводить верификацию как отдельных подмодулей ..." | ||
Том 34, № 2 (2022) | Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» | Аннотация похожие документы |
Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ | ||
"... тестовых программ для верификации когерентности памяти микропроцессоров семейства "Эльбрус". Рассмотрены ..." | ||
Том 30, № 6 (2018) | Компонентная верификация операционных систем | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин, А. К. Петренко, А. В. Хорошилов | ||
"... В работе рассматриваются полученные недавно результаты на пути к полномасштабной верификации ..." | ||
Том 29, № 6 (2017) | Формальная верификация библиотечных функций ядра Linux | Аннотация PDF (Rus) похожие документы |
Д. В. Ефремов, М. У. Мандрыкин | ||
"... В статье авторами рассматриваются результаты дедуктивной верификации набора из 26 библиотечных ..." | ||
Том 33, № 6 (2021) | Возможности и ограничения инструментов верификации моделей программ | Аннотация похожие документы |
Евгений Михайлович НОВИКОВ | ||
"... Инструменты верификации моделей программ позволяют автоматически искать нарушения ..." | ||
Том 35, № 3 (2023) | Поиск новых ошибок методом верификации моделей с помощью подхода дельта отладки | Аннотация похожие документы |
Олег Максимович ПЕТРОВ | ||
"... Зачастую инструмент формальной верификации моделей программ не может получить вердикт за ..." | ||
Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... При статической верификации драйверов устройств операционной системы Linux необходимо учитывать ..." | ||
Том 27, № 4 (2015) | О дедуктивной верификации Си программ, работающих с разделяемыми данными | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, А. В. Хорошилов | ||
"... В статье рассматривается задача дедуктивной верификации кода ядра ОС Linux, написанного на языке Си ..." | ||
Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация похожие документы |
А. Р. Волков, М. У. Мандрыкин | ||
"... Верификация программного обеспечения - вид деятельности, направленный на контроль качества ..." | ||
Том 29, № 1 (2017) | Обзор подходов к моделированию памяти в инструментах статической верификации | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин | ||
"... статической верификации. Обозначены основные проблемы, возникающие при разработке моделей памяти для языка Си ..." | ||
Том 20 (2011) | Тестирование протоколов электронной почты Интернета с использованием моделей | Аннотация PDF (Rus) похожие документы |
Н. В. Пакулин, А. Н. Тугаенко | ||
Том 31, № 3 (2019) | Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода | Аннотация похожие документы |
Павел Андреевич Путро | ||
"... Существующие на сегодняшний день инструменты дедуктивной верификации позволяют успешно доказывать ..." | ||
Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
П. А. Путро | ||
"... верификации. Для достижения данной цели необходимо решить ряд задач, одной из которых является слияние модели ..." | ||
Том 32, № 6 (2020) | Верификация соответствия между разноуровневыми моделями функциональных требований | Аннотация PDF (Rus) похожие документы |
Алексей Владимирович ХОРОШИЛОВ | ||
"... просты и пригодны для применения при решении практических задач верификации сложных видов функциональных ..." | ||
Том 36, № 4 (2024) | Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации | Аннотация PDF (Rus) похожие документы |
Алексей Александрович КАРНОВ | ||
"... В данной статье обсуждается проблема применения метода динамической верификации к большим и ..." | ||
Том 27, № 5 (2015) | Об интеграции формальных методов в задачах верификации операционных систем | Аннотация PDF (Rus) похожие документы |
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов | ||
"... В данной работе ставится задача разработки методов качественной верификации операционных систем ..." | ||
Том 32, № 5 (2020) | Экспертная оценка результатов верификации инструментов верификации моделей программ | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич ГРАТИНСКИЙ, Евгений Михайлович НОВИКОВ, Илья Сергеевич ЗАХАРОВ | ||
"... При проверке программ на соответствие спецификациям требований инструменты верификации моделей ..." | ||
Том 31, № 3 (2019) | Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы | Аннотация похожие документы |
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков | ||
"... микропроцессорных систем. Для этого используется функциональная верификация. В данной работе представлены некоторые ..." | ||
Том 31, № 5 (2019) | Автоматическое доказательство корректности программ с динамической памятью | Аннотация PDF (Rus) похожие документы |
Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник | ||
"... В данной работе изучаются теоретические основы автоматической модульной верификации императивных ..." | ||
Том 36, № 2 (2024) | Соревнования по формальной верификации VeHa-2023: опыт проведения | Аннотация PDF (Rus) похожие документы |
Сергей Михайлович СТАРОЛЕТОВ, Дмитрий Александрович КОНДРАТЬЕВ, Наталья Олеговна ГАРАНИНА, Ирина Владимировна ШОШМИНА | ||
"... организации соревнования по формальной верификации программ среди студентов российских вузов. Соревнования ..." | ||
Том 37, № 1 (2025) | Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович КОНДРАТЬЕВ, Сергей Михайлович СТАРОЛЕТОВ, Ирина Владимировна ШОШМИНА, Анастасия Владимировна КРАСНЕНКОВА, Кирилл Викторович ЗИБОРОВ, Николай Вячеславович ШИЛОВ, Наталья Олеговна ГАРАНИНА, Тимофей Юрьевич ЧЕРГАНОВ | ||
"... В нашей статье описан опыт организации второго соревнования по формальной верификации программ ..." | ||
Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
Д. Бейер, А. К. Петренко | ||
"... Верификация драйверов ОС Linux - это широкая область для применения различных методов верификации ..." | ||
Том 28, № 2 (2016) | Применимость AutoProof: учебный пример верификации ПО | Аннотация похожие документы |
Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин | ||
"... Очень часто инструменты статической верификации являются результатом многолетних научно ..." | ||
Том 28, № 4 (2016) | Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток | Аннотация PDF (Rus) похожие документы |
В. О. Ермакова, И. А. Ломазова | ||
"... . Мультиагентные системы являются системами с высоким уровнем параллелизма. При верификации таких систем методами ..." | ||
Том 30, № 4 (2018) | Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa | Аннотация похожие документы |
И. А. Писарев, Л. К. Бабенко | ||
"... голосования. Как и для любой системы, важным является верификация ключевых алгоритмов, на которых основана её ..." | ||
Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. Д. Татарников | ||
"... функциональной верификации микропроцессоров. Этот подход также принято называть тестированием. Несмотря на то ..." | ||
Том 27, № 5 (2015) | Использование языка программирования Python для описания ограничений на архитектурные модели | Аннотация PDF (Rus) похожие документы |
Е. В. Корныхин, А. В. Хорошилов | ||
"... В данной статье предлагается подход к описанию и верификации структурных ограничений на ..." | ||
Том 32, № 2 (2020) | Тестовое окружение для верификации многопроцессорной системы прерываний с поддержкой виртуализации | Аннотация похожие документы |
Дмитрий Алексеевич ЛЕБЕДЕВ, Виталий Николаевич КУЦЕВОЛ | ||
"... верификации. Universal Verification Methodology была применена для построения тестовой системы. Для упрощения ..." | ||
Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... верификации Си программ. Представлен обзор текущих возможностей инструментов, в том числе по таким ..." | ||
Том 31, № 4 (2019) | Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации | Аннотация похожие документы |
Сергей Михайлович Старолетов, Максим Станиславович Амосов, Кирилл Михайлович Шульга | ||
"... использовать формальные методы верификации и демонстрируем примеры проверяемых свойств на уровне кода ..." | ||
Том 31, № 3 (2019) | C# парсер для извлечения структуры криптографических протоколов из исходного кода | Аннотация похожие документы |
Илья Александрович Писарев, Людмила Климентьевна Бабенко | ||
"... разрабатывается, анализируется с использованием средств формальной верификации и, если он безопасен, реализуется ..." | ||
Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
Павел Сергеевич Андрианов | ||
"... Большинство современных инструментов статической верификации плохо масштабируются на сложное ..." | ||
Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
А. В. Козачок, Е. В. Кочетков | ||
Том 30, № 3 (2018) | Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи | Аннотация похожие документы |
Д. А. Лебедев, И. А. Стотланд | ||
"... В статье предложены подходы к функциональной верификации контроллеров сопряжения интерфейсов в ..." | ||
Том 30, № 5 (2018) | Проверка функциональных свойств смарт-контрактов методом символьной верификации модели | Аннотация PDF (Rus) похожие документы |
Е. С. Шишкин | ||
"... Ethereum методом символьной верификации модели. Описанный подход позволяет верифицировать выполнение 3х ..." | ||
Том 30, № 6 (2018) | Конфигурационная сборка варианта ядра Linux для прикладных систем | Аннотация PDF (Rus) похожие документы |
С. В. Козин | ||
Том 28, № 3 (2016) | Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров | Аннотация похожие документы |
М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков | ||
"... об ошибке. Выделены критерии применимости данного подхода. Описаны методы верификации устройств ..." | ||
1 - 39 из 89 результатов | 1 2 3 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)