Сортировать по:
Выпуск | Название | |
Том 30, № 6 (2018) | Компонентная верификация операционных систем | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин, А. К. Петренко, А. В. Хорошилов | ||
"... В работе рассматриваются полученные недавно результаты на пути к полномасштабной верификации ..." | ||
Том 29, № 6 (2017) | Формальная верификация библиотечных функций ядра Linux | Аннотация PDF (Rus) похожие документы |
Д. В. Ефремов, М. У. Мандрыкин | ||
"... В статье авторами рассматриваются результаты дедуктивной верификации набора из 26 библиотечных ..." | ||
Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация похожие документы |
А. Р. Волков, М. У. Мандрыкин | ||
"... программного обеспечения и обнаружения ошибок в нем. Статическая верификация - это один из способов верификации ..." | ||
Том 29, № 1 (2017) | Обзор подходов к моделированию памяти в инструментах статической верификации | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин | ||
"... статической верификации. Обозначены основные проблемы, возникающие при разработке моделей памяти для языка Си ..." | ||
Том 28, № 2 (2016) | Применимость AutoProof: учебный пример верификации ПО | Аннотация похожие документы |
Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин | ||
"... Очень часто инструменты статической верификации являются результатом многолетних научно ..." | ||
Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... результатов анализа. Рассмотрены особенности применения инструментов статической верификации для анализа ..." | ||
Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
Павел Сергеевич Андрианов | ||
"... Большинство современных инструментов статической верификации плохо масштабируются на сложное ..." | ||
Том 32, № 2 (2020) | Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT | Аннотация PDF (Rus) похожие документы |
Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
"... При дедуктивной верификации Си-программ как с помощью различных платформ верификации (Why3, Frama ..." | ||
Том 24 (2013) | Введение в метод CEGAR - уточнение абстракции по контрпримерам | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин, А. В. Хорошилов | ||
"... Точность, полнота и масштабируемость применяемых на практике инструментов статической верификации ..." | ||
Том 30, № 6 (2018) | Статическая верификация ошибок использования памяти в модулях ядра ОС Linux | Аннотация похожие документы |
А. А. Васильев | ||
"... могут привести к серьезным последствиям. В данной статье мы описываем метод статической верификации ..." | ||
Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, Е. М. Новиков | ||
"... Методы и инструменты автоматической статической верификации позволяют выявить все ошибки искомых ..." | ||
Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков | ||
"... показывается, что различные подходы к статической верификации, которые нацелены на решение данной задачи, имеют ..." | ||
Том 29, № 3 (2017) | Комбинация методов статической верификации композиции требований | Аннотация PDF (Rus) похожие документы |
В. О. Мордань | ||
"... Статическая верификация программного обеспечения доказывает выполнение требований в программах ..." | ||
Том 33, № 4 (2021) | Полная решающая процедура для теории ограниченной адресной арифметики | Аннотация PDF (Rus) похожие документы |
Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
М. С. Лебедев, С. А. Смолов | ||
"... верификации цифровой аппаратуры. На текущий момент большое распространение имеют методы генерации ..." | ||
Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
"... статической верификации, которым для проведения анализа необходимо предоставить контрактные спецификации ..." | ||
Том 20 (2011) | Архитектура Linux Driver Verification | Аннотация PDF (Rus) похожие документы |
В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед | ||
"... В настоящей статье исследуются требования к построению архитектуры открытой системы верификации ..." | ||
Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
"... -вторых, разработка и верификация формальных моделей управления доступом, как основы механизмов защиты ..." | ||
Том 28, № 3 (2016) | Верификация и анализ вариабельных операционных систем | Аннотация PDF (Rus) похожие документы |
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко | ||
"... В данной работе рассматриваются проблемы верификации и анализа сложных операционных систем с учетом ..." | ||
Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
С. А. Смолов | ||
"... , оптимизация логического синтеза, абстракция, функциональная верификация. В статье рассматриваются методы ..." | ||
Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков | ||
"... статическая верификация. Для успешного применения существующих инструментов к ядру операционной системы Linux ..." | ||
Том 31, № 3 (2019) | Поиск конфликтов доступа к данным в HDL-описаниях | Аннотация похожие документы |
Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов | ||
"... из способов их выявления на ранних стадиях проектирования является статический анализ описаний ..." | ||
Том 30, № 4 (2018) | Динамическая верификация контроллеров шин систем-на-кристалле | Аннотация похожие документы |
М. М. Чупилко, Е. А. Дроздова | ||
"... В работе представлен подход к верификации коммутационных компонентов систем на кристалле. Основной ..." | ||
Том 31, № 3 (2019) | Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров | Аннотация похожие документы |
Павел Викторович Фролов | ||
"... При разработке систем-на-кристалле необходимо проводить верификацию как отдельных подмодулей ..." | ||
Том 34, № 2 (2022) | Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» | Аннотация похожие документы |
Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ | ||
"... тестовых программ для верификации когерентности памяти микропроцессоров семейства "Эльбрус". Рассмотрены ..." | ||
Том 33, № 6 (2021) | Возможности и ограничения инструментов верификации моделей программ | Аннотация похожие документы |
Евгений Михайлович НОВИКОВ | ||
"... Инструменты верификации моделей программ позволяют автоматически искать нарушения ..." | ||
Том 35, № 3 (2023) | Поиск новых ошибок методом верификации моделей с помощью подхода дельта отладки | Аннотация похожие документы |
Олег Максимович ПЕТРОВ | ||
"... версий программы. Эти алгоритмы были реализованы в инструменте статической верификации программ ..." | ||
Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... При статической верификации драйверов устройств операционной системы Linux необходимо учитывать ..." | ||
Том 27, № 6 (2015) | Использование различных представлений java-программ для статического анализа | Аннотация PDF (Rus) похожие документы |
Е. А. Карпулевич | ||
"... При статическом анализе программ важную роль играет используемое представление программного кода. В ..." | ||
Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
"... В статье описываются работы, выполненные для поддержки анализа программ на языке Java в статическом ..." | ||
1 - 30 из 150 результатов | 1 2 3 4 5 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)