Сортировать по:
| Выпуск | Название | |
| Том 20 (2011) | Архитектура Linux Driver Verification | Аннотация PDF (Rus) похожие документы |
| В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед | ||
| "... В настоящей статье исследуются требования к построению архитектуры открытой системы верификации ..." | ||
| Том 32, № 5 (2020) | Экспертная оценка результатов верификации инструментов верификации моделей программ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич ГРАТИНСКИЙ, Евгений Михайлович НОВИКОВ, Илья Сергеевич ЗАХАРОВ | ||
| "... При проверке программ на соответствие спецификациям требований инструменты верификации моделей ..." | ||
| Том 28, № 3 (2016) | Верификация и анализ вариабельных операционных систем | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко | ||
| "... В данной работе рассматриваются проблемы верификации и анализа сложных операционных систем с учетом ..." | ||
| Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
| П. А. Путро | ||
| "... верификации. Для достижения данной цели необходимо решить ряд задач, одной из которых является слияние модели ..." | ||
| Том 20 (2011) | Тестирование протоколов электронной почты Интернета с использованием моделей | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, А. Н. Тугаенко | ||
| "... моделей протоколов: предложен метод моделирования почтовых протоколов, рассмотрены особенности почтовых ..." | ||
| Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация похожие документы |
| А. Р. Волков, М. У. Мандрыкин | ||
| "... , который производится без выполнения исходного кода программы. Для статической верификации используется ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Генерация кода исполняемой модели Event-B на языке Python | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН | ||
| "... на основе формальной модели. Процесс верификации можно разбить на два этапа: формальная верификация модели ..." | ||
| Том 27, № 3 (2015) | О реализации формального метода верификации масштабируемых систем с когерентной памятью | Аннотация PDF (Rus) похожие документы |
| Владимир Буренков | ||
| "... -модели. Сформулированы направления по улучшению и автоматизации метода, необходимые для верификации ..." | ||
| Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... влияние на работу драйвера. В то же время, верификации драйвера в комбинации с исходным кодом сердцевины ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Выбор интерфейса системы Isabelle для взаимодействия с большими языковыми моделями | Аннотация PDF (Rus) похожие документы |
| Михаил Усамович МАНДРЫКИН, Вадим Сергеевич МУТИЛИН, Александр Константинович ПЕТРЕНКО, Константин Сергеевич СОРОКИН, Иван Юрьевич ТЮКИН | ||
| "... В статье дается обзор существующих работ по использованию языковых моделей (Large Language Models ..." | ||
| Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Д. Бейер, А. К. Петренко | ||
| "... различных техник анализа программ: использования SMT-решателей, методов верификации моделей (model checking ..." | ||
| Том 27, № 3 (2015) | Подход к верификации модуля прямого доступа к памяти | Аннотация PDF (Rus) похожие документы |
| В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов | ||
| "... В статье описан метод верификации подсистемы прямого доступа к памяти, примененный к семейству ..." | ||
| Том 37, № 5: сентябрь-октябрь | Интерактивная генерация кода на основе LLM: эмпирическая оценка | Аннотация PDF (Rus) похожие документы |
| Данил Салаватович ШАЙХЕЛИСЛАМОВ, Михаил Дмитриевич ДРОБЫШЕВСКИЙ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... показывают, что даже одна итерация исправления кода для языка Java во всех наборах данных и моделях снижает ..." | ||
| Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация похожие документы |
| П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
| "... , сгенерированных по поведенческой модели, решается на основе детализации абстрактных сценариев до уровня конкретных ..." | ||
| Том 33, № 6 (2021) | Возможности и ограничения инструментов верификации моделей программ | Аннотация похожие документы |
| Евгений Михайлович НОВИКОВ | ||
| "... Инструменты верификации моделей программ позволяют автоматически искать нарушения ..." | ||
| Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ | ||
| "... с ожидаемой скоростью, а также делить процессорное время и память между изолированными разделами. Верификация ..." | ||
| Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
| "... Статья адресована актуальной проблеме верификации масштабных моделей данных, применяемых ..." | ||
| Том 32, № 6 (2020) | Верификация соответствия между разноуровневыми моделями функциональных требований | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович ХОРОШИЛОВ | ||
| "... В статье предлагаются методы доказательства соответствия между разноуровневыми моделями ..." | ||
| Том 31, № 3 (2019) | Автономная верификация IOMMU с поддержкой виртуализации | Аннотация похожие документы |
| Антон Алексеевич Петрыкин, Ирина Аркадьевна Стотланд, Алексей Николаевич Мешков | ||
| "... В данной статье представлен подход к автономной верификации блока управления памятью ввода / вывода ..." | ||
| Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
| С. А. Смолов | ||
| "... В статье дается обзор существующих методов извлечения моделей из описаний цифровой аппаратуры ..." | ||
| Том 29, № 1 (2017) | Обзор подходов к моделированию памяти в инструментах статической верификации | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин | ||
| "... статической верификации. Обозначены основные проблемы, возникающие при разработке моделей памяти для языка ..." | ||
| Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... исполнения программного кода. Функциональным предназначением данной системы является проведение исследования ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Поддержка процессов верификации средств защиты информации на основе формальных моделей политик управления доступом: инструмент АНИС | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН, Александр Константинович ПЕТРЕНКО | ||
| "... В статье исследуются проблемы внедрения технологий верификации программных систем ответственного ..." | ||
| Том 30, № 4 (2018) | Динамическая верификация контроллеров шин систем-на-кристалле | Аннотация похожие документы |
| М. М. Чупилко, Е. А. Дроздова | ||
| "... для верификации Verilog-модели контроллера шины Wishbone. В подходе заложена возможность расширения ..." | ||
| Том 36, № 2 (2024) | Соревнования по формальной верификации VeHa-2023: опыт проведения | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ, Дмитрий Александрович КОНДРАТЬЕВ, Наталья Олеговна ГАРАНИНА, Ирина Владимировна ШОШМИНА | ||
| "... предложено решить задачи по верификации с использованием заранее определенных инструментов проверки моделей ..." | ||
| Том 37, № 1: январь-февраль | Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович КОНДРАТЬЕВ, Сергей Михайлович СТАРОЛЕТОВ, Ирина Владимировна ШОШМИНА, Анастасия Владимировна КРАСНЕНКОВА, Кирилл Викторович ЗИБОРОВ, Николай Вячеславович ШИЛОВ, Наталья Олеговна ГАРАНИНА, Тимофей Юрьевич ЧЕРГАНОВ | ||
| "... по верификации с использованием заранее определенных инструментов проверки моделей и дедуктивной верификации ..." | ||
| Том 27, № 5 (2015) | Об интеграции формальных методов в задачах верификации операционных систем | Аннотация PDF (Rus) похожие документы |
| А. К. Петренко, В. В. Кулямин, А. В. Хорошилов | ||
| "... В данной работе ставится задача разработки методов качественной верификации операционных систем ..." | ||
| Том 35, № 3 (2023) | Поиск новых ошибок методом верификации моделей с помощью подхода дельта отладки | Аннотация похожие документы |
| Олег Максимович ПЕТРОВ | ||
| "... Зачастую инструмент формальной верификации моделей программ не может получить вердикт ..." | ||
| Том 27, № 5 (2015) | Использование языка программирования Python для описания ограничений на архитектурные модели | Аннотация PDF (Rus) похожие документы |
| Е. В. Корныхин, А. В. Хорошилов | ||
| "... В данной статье предлагается подход к описанию и верификации структурных ограничений ..." | ||
| Том 29, № 4 (2017) | Методика параметризованной верификации протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков | ||
| "... . Масштабируемость при верификации означает независимость работ по верификации от размера модели, то есть ..." | ||
| Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... . Во-вторых, разработка и верификация формальных моделей управления доступом, как основы механизмов защиты ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... в Институте системного программирования РАН в рамках проекта «Верификация реализаций расширяемых протоколов ..." | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
| М. С. Лебедев, С. А. Смолов | ||
| "... автоматическое извлечение моделей из исходного кода HDL-описания аппаратуры. Поддерживаются языки VHDL и Verilog ..." | ||
| Том 34, № 2 (2022) | Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» | Аннотация похожие документы |
| Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ | ||
| "... . Сгенерированные тестовые программы использовались при проведении верификации на RTL-моделях и прототипах на базе ..." | ||
| Том 30, № 6 (2018) | Статическая верификация ошибок использования памяти в модулях ядра ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. А. Васильев | ||
| "... модель окружения. Эта модель вносит некоторую неточность, но позволяет проводить статическую верификацию ..." | ||
| Том 27, № 4 (2015) | О дедуктивной верификации Си программ, работающих с разделяемыми данными | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, А. В. Хорошилов | ||
| "... В статье рассматривается задача дедуктивной верификации кода ядра ОС Linux, написанного на языке ..." | ||
| Том 33, № 5 (2021) | Численное исследование микроклимата помещения с использованием СПО | Аннотация PDF (Rus) похожие документы |
| Анна Александровна ЦЫНАЕВА, Екатерина Александровна ЦЫНАЕВА | ||
| "... и неразрывности использован алгоритм SIMPLEC. Верификация математической модели показала, что относительное ..." | ||
| Том 31, № 3 (2019) | Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы | Аннотация похожие документы |
| Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков | ||
| "... микропроцессорных систем. Для этого используется функциональная верификация. В данной работе представлены некоторые ..." | ||
| Том 36, № 4 (2024) | Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ | ||
| "... подхода удобно иметь единую модель, подходящую как для формальной верификации, так и для тестирования ..." | ||
| Том 32, № 6 (2020) | Формальная верификация модели мандатного контроля целостности в операционной системе KasperskyOS | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич БУРЕНКОВ | ||
| "... . Описана разработка модели на языке Event-B и отражен опыт ее верификации с использованием платформы Rodin. ..." | ||
| Том 33, № 6 (2021) | Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы | Аннотация PDF (Rus) похожие документы |
| Денис Валентинович ЕФРЕМОВ, Виктория Владимировна КОПАЧ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... сложные модели на высокоуровневых языках. При этом задача верификации соответствия таким моделям серьезно ..." | ||
| Том 30, № 3 (2018) | Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи | Аннотация похожие документы |
| Д. А. Лебедев, И. А. Стотланд | ||
| "... В статье предложены подходы к функциональной верификации контроллеров сопряжения интерфейсов ..." | ||
| Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация похожие документы |
| А. Р. Гнатенко, В. А. Захаров | ||
| "... и др. В статье исследуются задача верификации программ такого вида. В качестве формальных моделей для реагирующих ..." | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| "... В последние годы ИСП РАН разрабатывает систему дедуктивной верификации машинного (бинарного) кода ..." | ||
| Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
| "... UniTESK - технология тестирования, основанная на формальных моделях (или спецификациях) требований ..." | ||
| Том 38, № 3: часть 2. май-июнь | Рефакторинг исходного кода на основе LLM и расширения UML | Аннотация PDF (Rus) похожие документы |
| Екатерина Андреевна КАРАВАЕВА, Людмила Александровна РЕЗУНИК, Леон Андреевич КУЛИГИН, Дмитрий Владимирович АЛЕКСАНДРОВ | ||
| "... модели (LLM) и расширенной UML-модели программного кода. Предложенный подход позволяет выявлять ..." | ||
| Том 30, № 6 (2018) | Конфигурационная сборка варианта ядра Linux для прикладных систем | Аннотация PDF (Rus) похожие документы |
| С. В. Козин | ||
| "... прикладными функциями. На их основе создается модель вариабельности из базовых характеристик ОС и модель ..." | ||
| Том 28, № 3 (2016) | Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров | Аннотация похожие документы |
| М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков | ||
| "... модели для последующего сравнения реакций устройства с эталонными; расхождения в реакциях сигнализируют ..." | ||
| Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
| И. . Мельниченко, А. . Камкин, С. . Смолов | ||
| "... Генерация тестов по моделям широко используется для функциональной верификации аппаратуры ..." | ||
| Том 38, № 3: часть 2. май-июнь | DPN Verifier: Инструментарий для ускоренной верификации и исправления дефектных моделей процессов с данными | Аннотация PDF (Rus) похожие документы |
| Николай Михайлович СУВОРОВ | ||
| "... к моделям достаточно больших размеров. Мы реализовали алгоритмы верификации и исправления, использующие этот ..." | ||
| Том 31, № 3 (2019) | Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода | Аннотация похожие документы |
| Павел Андреевич Путро | ||
| "... , но неизбежным поступком в силу отсутствия полноценных систем формальной верификации машинного кода. Стоит также ..." | ||
| Том 37, № 5: сентябрь-октябрь | Применение инструмента SVAN статического анализа описаний аппаратуры для верификации открытых тестовых наборов | Аннотация PDF (Rus) похожие документы |
| София Максимовна ПАНОВА, Сергей Александрович СМОЛОВ, Марина М. ВОЛКОВА | ||
| "... ошибок, нарушений стиля оформления кода, проблем безопасности. Эксперименты, проведенные на описаниях ..." | ||
| Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
| "... статической верификации, которым для проведения анализа необходимо предоставить контрактные спецификации ..." | ||
| 1 - 53 из 223 результатов | 1 2 3 4 5 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
