Сортировать по:
| Выпуск | Название | |
| Том 29, № 6 (2017) | Формальная верификация библиотечных функций ядра Linux | Аннотация PDF (Rus) похожие документы |
| Д. В. Ефремов, М. У. Мандрыкин | ||
| "... функций ядра ОС Linux с помощью стека инструментов AstraVer. В набор включены преимущественно функции ..." | ||
| Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Д. Бейер, А. К. Петренко | ||
| "... Верификация драйверов ОС Linux - это широкая область для применения различных методов верификации ..." | ||
| Том 20 (2011) | Архитектура Linux Driver Verification | Аннотация PDF (Rus) похожие документы |
| В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед | ||
| "... В настоящей статье исследуются требования к построению архитектуры открытой системы верификации ..." | ||
| Том 29, № 1 (2017) | Обзор подходов к моделированию памяти в инструментах статической верификации | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин | ||
| "... статической верификации. Обозначены основные проблемы, возникающие при разработке моделей памяти для языка ..." | ||
| Том 30, № 6 (2018) | Статическая верификация ошибок использования памяти в модулях ядра ОС Linux | Аннотация PDF (Rus) похожие документы |
| А. А. Васильев | ||
| "... таких, как ядро ОС Linux, требуют дополнительных усилий. Современные инструменты статической верификации ..." | ||
| Том 30, № 6 (2018) | Конфигурационная сборка варианта ядра Linux для прикладных систем | Аннотация PDF (Rus) похожие документы |
| С. В. Козин | ||
| "... Операционная система Linux - это современная открытая операционная система, содержащая более 10 000 ..." | ||
| Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
| С. В. Козин, В. С. Мутилин | ||
| "... Ядро операционной системы Linux - это частый пример современных инженерных решений в области ..." | ||
| Том 33, № 6 (2021) | Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы | Аннотация PDF (Rus) похожие документы |
| Денис Валентинович ЕФРЕМОВ, Виктория Владимировна КОПАЧ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Александр Константинович ПЕТРЕНКО, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... аспектов их функциональности, как, например, функций безопасности, приходится использовать достаточно ..." | ||
| Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... При статической верификации драйверов устройств операционной системы Linux необходимо учитывать ..." | ||
| Том 32, № 2 (2020) | Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT | Аннотация PDF (Rus) похожие документы |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| "... При дедуктивной верификации Си-программ как с помощью различных платформ верификации (Why3, Frama ..." | ||
| Том 33, № 4 (2021) | Полная решающая процедура для теории ограниченной адресной арифметики | Аннотация PDF (Rus) похожие документы |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| "... использование решающих процедур на основе SMT-решателей. Но в то же время разрешимые логики (комбинации ..." | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| "... В последние годы ИСП РАН разрабатывает систему дедуктивной верификации машинного (бинарного) кода ..." | ||
| Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... верификации Си программ. Представлен обзор текущих возможностей инструментов, в том числе по таким ..." | ||
| Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Павел Сергеевич Андрианов | ||
| "... Большинство современных инструментов статической верификации плохо масштабируются на сложное ..." | ||
| Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... статическая верификация. Для успешного применения существующих инструментов к ядру операционной системы Linux ..." | ||
| Том 31, № 3 (2019) | Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров | Аннотация похожие документы |
| Павел Викторович Фролов | ||
| "... При разработке систем-на-кристалле необходимо проводить верификацию как отдельных подмодулей ..." | ||
| Том 27, № 4 (2015) | О дедуктивной верификации Си программ, работающих с разделяемыми данными | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, А. В. Хорошилов | ||
| "... В статье рассматривается задача дедуктивной верификации кода ядра ОС Linux, написанного на языке ..." | ||
| Том 31, № 5 (2019) | Автоматическое доказательство корректности программ с динамической памятью | Аннотация PDF (Rus) похожие документы |
| Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник | ||
| "... В данной работе изучаются теоретические основы автоматической модульной верификации императивных ..." | ||
| Том 31, № 3 (2019) | Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода | Аннотация похожие документы |
| Павел Андреевич Путро | ||
| "... Существующие на сегодняшний день инструменты дедуктивной верификации позволяют успешно доказывать ..." | ||
| Том 29, № 4 (2017) | Верификация контроллеров 10 гигабитного Ethernet | Аннотация похожие документы |
| М. В. Петроченков, Р. Е. Муштаков, И. А. Стотланд | ||
| "... В статье приведены подходы, использовавшиеся в процессе верификации контроллеров 10 гигабитного ..." | ||
| Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... . Во-вторых, разработка и верификация формальных моделей управления доступом, как основы механизмов защиты ..." | ||
| Том 29, № 3 (2017) | Комбинация методов статической верификации композиции требований | Аннотация PDF (Rus) похожие документы |
| В. О. Мордань | ||
| "... Статическая верификация программного обеспечения доказывает выполнение требований в программах ..." | ||
| Том 28, № 2 (2016) | Refinement типы для языка Jolie | Аннотация похожие документы |
| Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера | ||
| "... с помощью refinement типов, проверяемых SMT-решателем. Соединение этих двух аспектов делает возможным ..." | ||
| Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
| "... новый метод статической верификации модулей ядра ОС Linux, который позволяет конфигурировать процесс ..." | ||
| Том 36, № 4 (2024) | Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ | ||
| "... В данной статье обсуждается проблема применения метода динамической верификации к большим ..." | ||
| Том 32, № 1 (2020) | Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич Девянин, Виктор Вячеславович Кулямин, Александр Константинович Петренко, Алексей Владимирович Хорошилов, Илья Викторович Щепетков | ||
| "... , что снижает общую трудоемкость ее верификации за счет переиспользования при доказательстве ..." | ||
| Том 31, № 6 (2019) | Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями | Аннотация PDF (Rus) похожие документы |
| Антон Александрович Васильев, Вадим Сергеевич Мутилин | ||
| "... В работе мы рассмотрим подход статической верификации исходного кода программы на предмет ..." | ||
| Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация похожие документы |
| А. Р. Волков, М. У. Мандрыкин | ||
| "... Верификация программного обеспечения - вид деятельности, направленный на контроль качества ..." | ||
| Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
| П. А. Путро | ||
| "... верификации. Для достижения данной цели необходимо решить ряд задач, одной из которых является слияние модели ..." | ||
| Том 27, № 5 (2015) | Об интеграции формальных методов в задачах верификации операционных систем | Аннотация PDF (Rus) похожие документы |
| А. К. Петренко, В. В. Кулямин, А. В. Хорошилов | ||
| "... В данной работе ставится задача разработки методов качественной верификации операционных систем ..." | ||
| Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
| "... in the Open Linux Verification project. Formal specifications and tests for interfaces of the Linux Standard ..." | ||
| Том 27, № 5 (2015) | Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин | ||
| "... Одна из фундаментальных проблем в современных методах статической верификации программ состоит ..." | ||
| Том 35, № 5 (2023) | Результаты переработки уровней ролевого управления доступом и мандатного контроля целостности формальной модели управления доступом ОС Astra Linux | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН | ||
| "... сертифицированной по высшим классам защиты и уровням доверия ОС Astra Linux является мандатная сущностно-ролевая ..." | ||
| Том 30, № 3 (2018) | Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи | Аннотация похожие документы |
| Д. А. Лебедев, И. А. Стотланд | ||
| "... В статье предложены подходы к функциональной верификации контроллеров сопряжения интерфейсов ..." | ||
| Том 30, № 5 (2018) | Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем | Аннотация PDF (Rus) похожие документы |
| А. В. Самонов, Г. Н. Самонова | ||
| "... и верификации формальных моделей требований и архитектуры СПТС. Дан анализ научных публикаций и нормативно ..." | ||
| Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, Е. М. Новиков | ||
| "... Методы и инструменты автоматической статической верификации позволяют выявить все ошибки искомых ..." | ||
| Том 31, № 3 (2019) | C# парсер для извлечения структуры криптографических протоколов из исходного кода | Аннотация похожие документы |
| Илья Александрович Писарев, Людмила Климентьевна Бабенко | ||
| "... разрабатывается, анализируется с использованием средств формальной верификации и, если он безопасен, реализуется ..." | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Тестирование подсистемы безопасности ОС Astra Linux на основе формализованного описания модели управления доступом | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Сергей Сергеевич ЖИЛЯКОВ, Александр Игоревич СМИРНОВ | ||
| "... В операционной системе (ОС) Astra Linux кроме традиционного для большинства ОС дискреционного ..." | ||
| Том 30, № 4 (2018) | Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем | Аннотация похожие документы |
| Х. С. Карраскель, А. Моралес, М. Е. Виллаполь | ||
| "... автоматного анализа и верификации. Инструмент реализует несколько функций, таких как генерация ..." | ||
| Том 27, № 4 (2015) | Библиотека ограничений для спецификации индустриальных моделей данных | Аннотация PDF (Rus) похожие документы |
| С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан | ||
| "... , используемые в них. Разрабатывается библиотека обобщенных функций на языке EXPRESS для представления каждого ..." | ||
| Том 18 (2010) | Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2 | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... . Работа выполнялась в Институте системного программирования РАН в рамках проекта «Верификация функций ..." | ||
| Том 28, № 5 (2016) | Оптимизация читаемости тестов порождаемых при символьных вычислениях | Аннотация PDF (Rus) похожие документы |
| И. А. Якимов, А. С. Кузнецов | ||
| "... на 12-ти строковых функциях из репозитория Linux. Оценка степени читаемости строк, содержащихся в оптимизированных ..." | ||
| Том 29, № 3 (2017) | О проблеме представления формальной модели политики безопасности операционных систем | Аннотация PDF (Rus) похожие документы |
| П. Н. Девянин | ||
| "... и верификации МРОСЛ ДП-модели, как основы механизма управления доступом в ОССН Astra Linux Special Edition. ..." | ||
| Том 26, № 1 (2014) | Тестирование операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. А. Герлиц, В. В. Кулямин, А. В. Максимов, А. К. Петренко, А. В. Хорошилов, А. В. Цыварев | ||
| "... и надёжности операционных систем предъявляются повышенные требования. Верификация и тестирование операционных ..." | ||
| Том 22 (2012) | Интерполяция формул с кванторами в CSIsat на основе инстанцирования | Аннотация PDF (Rus) похожие документы |
| В. С. Мутилин, М. У. Мандрыкин | ||
| "... и неинтерпретируемых функций. Предложен способ реализации интерполирования таких формул с помощью инстанцирования ..." | ||
| Том 29, № 5 (2017) | Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) | Аннотация PDF (Rus) похожие документы |
| А. Ю. Матросова, С. А. Останин, Е. А. Николаева | ||
| "... возникают в работающей системе чрезвычайно редко, поэтому они не обнаружимы ни в процессе верификации ..." | ||
| Том 34, № 1 (2022) | Выявление функциональных требований в документации программного интерфейса приложения для функционального тестирования | Аннотация похожие документы |
| Евгений Анатольевич ГЕРЛИЦ, Денис Степанович КИЛЬДИШЕВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... . Требуется выявить функциональные требования к функциям из программного интерфейса и разработать набор тестов ..." | ||
| Том 30, № 2 (2018) | Обзор расширяемого протокола аутентификации и его методов | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, В. З. Шнитман | ||
| "... РФФИ, проект № 16-07-00603 «Верификация функций безопасности и оценка устойчивости к атакам реализаций ..." | ||
| 1 - 48 из 50 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
