Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 30, № 6 (2018) Компонентная верификация операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, А. К. Петренко, А. В. Хорошилов
"... of industrial operating systems (OS). We consider here OSes, either of general purpose or actively used in some ..."
 
Том 20 (2011) Архитектура Linux Driver Verification Аннотация  PDF (Rus)  похожие документы
В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед
"... for experimentation with various verification techniques as well as an industrial-ready domain specific verification ..."
 
Том 26, № 1 (2014) Средства функциональной верификации микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов
"... problem. To deal with it, various tools for functional verification are used. Unlike bugs in software ..."
 
Том 30, № 6 (2018) Статическая верификация ошибок использования памяти в модулях ядра ОС Linux Аннотация  похожие документы
А. А. Васильев
"... at finding all errors under certain assumptions. Static verification of industrial projects such as the Linux ..."
 
Том 23 (2012) Верификация драйверов операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Д. Бейер, А. К. Петренко
"... , in particular, for functional, safety, and security verification. Linux driver software is industrial production ..."
 
Том 30, № 4 (2018) К формальной верификации стандартов кибербезопасности Аннотация  похожие документы
Томаш Кулик, Питер Горм Ларсен
"... Cyber security standards are often used to ensure the security of industrial control systems ..."
 
Том 32, № 6 (2020) Верификация соответствия между разноуровневыми моделями функциональных требований Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович ХОРОШИЛОВ
"... The paper considers the problem of verification of compliance between models representing the same ..."
 
Том 27, № 5 (2015) Об интеграции формальных методов в задачах верификации операционных систем Аннотация  PDF (Rus)  похожие документы
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов
"... In this work the problem of high quality verification techniques applicable for operating systems ..."
 
Том 26, № 2 (2014) Комбинированный метод верификации масштабных моделей данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, С. В. Морозов, Д. В. Ильин
"... The paper is addressed to the actual problem of verification of large-scale data models applied ..."
 
Том 27, № 4 (2015) Библиотека ограничений для спецификации индустриальных моделей данных Аннотация  PDF (Rus)  похожие документы
С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан
"... and widely used in industrial applications. These models play important role for achievement of software ..."
 
Том 27, № 3 (2015) О реализации формального метода верификации масштабируемых систем с когерентной памятью Аннотация  PDF (Rus)  похожие документы
Владимир Буренков
"... This article analyzes existing methods of verification of cache coherence protocols of scalable ..."
 
Том 18 (2010) Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин
"... verification of branch units of microprocessors are considered. Problems appearing when creating such programs ..."
 
Том 30, № 3 (2018) О верификации конечных автоматов-преобразователей над полугруппами Аннотация  похожие документы
А. Р. Гнатенко, В. А. Захаров
"... . In this paper, we study the verification problem for the programs of this kind. We use finite state transducers ..."
 
Том 31, № 3 (2019) Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров Аннотация  похожие документы
Павел Викторович Фролов
"... Development of system-on-chips or network-on-chips requires verification of standalone units ..."
 
Том 31, № 4 (2019) Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации Аннотация  похожие документы
Сергей Михайлович Старолетов, Максим Станиславович Амосов, Кирилл Михайлович Шульга
"... “Components of operating systems” and “Software verification”. In the study, we proceed to analyse ..."
 
Том 24 (2013) Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей Аннотация  PDF (Rus)  похожие документы
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов
"... in the Open Linux Verification project. Formal specifications and tests for interfaces of the Linux Standard ..."
 
Том 30, № 4 (2018) Динамическая верификация контроллеров шин систем-на-кристалле Аннотация  похожие документы
М. М. Чупилко, Е. А. Дроздова
"... The paper presents an approach to verification of commutation components of Systems-on-Chip ..."
 
Том 32, № 5 (2020) Экспертная оценка результатов верификации инструментов верификации моделей программ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич ГРАТИНСКИЙ, Евгений Михайлович НОВИКОВ, Илья Сергеевич ЗАХАРОВ
"... Verification tools can produce various kinds of results while checking programs against ..."
 
Том 29, № 4 (2017) Статическая верификация конфигураций ядра Linux Аннотация  похожие документы
С. В. Козин, В. С. Мутилин
"... of modern software development. Verification researchers offered lots of solutions for this problem ..."
 
Том 29, № 4 (2017) Верификация контроллеров 10 гигабитного Ethernet Аннотация  похожие документы
М. В. Петроченков, Р. Е. Муштаков, И. А. Стотланд
"... such devices - prototype based verification, system and stand-alone verification. We provide the motivation ..."
 
Том 29, № 6 (2017) Формальная верификация библиотечных функций ядра Linux Аннотация  PDF (Rus)  похожие документы
Д. В. Ефремов, М. У. Мандрыкин
"... The paper presents result of a study on deductive verification of 26 Linux kernel library functions ..."
 
Том 25 (2013) Моделирование окружения драйверов устройств операционной системы Linux Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов
"... In static device driver verification of Linux operating system it is necessary to take into account ..."
 
Том 27, № 3 (2015) Подход к верификации модуля прямого доступа к памяти Аннотация  PDF (Rus)  похожие документы
В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов
"... A method of direct memory access subsystem verification used for “Elbrus” series microprocessors ..."
 
Том 28, № 3 (2016) Верификация и анализ вариабельных операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко
"... This paper regards problems of analysis and verification of complex modern operating systems, which ..."
 
Том 31, № 3 (2019) Автономная верификация IOMMU с поддержкой виртуализации Аннотация  похожие документы
Антон Алексеевич Петрыкин, Ирина Аркадьевна Стотланд, Алексей Николаевич Мешков
"... This article presents an approach to standalone verification of I/O Memory Management Unit ..."
 
Том 31, № 5 (2019) Автоматическое доказательство корректности программ с динамической памятью Аннотация  PDF (Rus)  похожие документы
Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник
"... В данной работе изучаются теоретические основы автоматической модульной верификации императивных ..."
 
Том 27, № 3 (2015) Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. С. Проценко, А. Д. Татарников
"... In this work, an approach to generate test programs for functional verification of memory ..."
 
Том 28, № 4 (2016) Язык описания шаблонов для генерации тестовых программ для микропроцессоров Аннотация  похожие документы
А. Д. Татарников
"... . The tool and the language have been applied in industrial projects dedicated to verification of MIPS ..."
 
Том 24 (2013) Введение в метод CEGAR - уточнение абстракции по контрпримерам Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин, А. В. Хорошилов
"... Precision, completeness and scalability of static verification tools have dramatically improved ..."
 
Том 28, № 6 (2016) Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко
"... support for multilevel address translation and virtualization. All of this makes functional verification ..."
 
Том 28, № 2 (2016) Применимость AutoProof: учебный пример верификации ПО Аннотация  похожие документы
Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин
"... Verification tools are often the result of several years of research effort. The development ..."
 
Том 29, № 4 (2017) Методика параметризованной верификации протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков
"... This paper introduces a technique for scalable functional verification of cache coherence protocols ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... verification. The motivation is rather clear: modern compilers, such as GCC and Clang/LLVM, are not free ..."
 
Том 29, № 2 (2017) Возможности статической верификации монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... that different approaches to static verification, which are aimed at solving this task, have significant ..."
 
Том 29, № 3 (2017) Комбинация методов статической верификации композиции требований Аннотация  PDF (Rus)  похожие документы
В. О. Мордань
"... Static verification proves correctness of the software against checked requirements ..."
 
Том 30, № 3 (2018) Верификация контроллеров связи в системах на кристалле Аннотация  похожие документы
М. В. Петроченков, Р. Е. Муштаков, Д. И. Шпагилев
"... and physical layers and highlight their similarities. Then we describe a common method of device verification ..."
 
Том 27, № 4 (2015) О дедуктивной верификации Си программ, работающих с разделяемыми данными Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, А. В. Хорошилов
"... The paper takes a look at the problem of deductive verification of Linux kernel code ..."
 
Том 29, № 1 (2017) Обзор подходов к моделированию памяти в инструментах статической верификации Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин
"... -formulas in context of static verification. The paper highlights the essential problems of C memory model ..."
 
Том 29, № 4 (2017) Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области Аннотация  похожие документы
А. Р. Волков, М. У. Мандрыкин
"... Software verification is a type of activity focused on software quality control and detection ..."
 
Том 20 (2011) Тестирование протоколов электронной почты Интернета с использованием моделей Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, А. Н. Тугаенко
 
Том 31, № 3 (2019) Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода Аннотация  похожие документы
Павел Андреевич Путро
"... The existing tools of deductive verification allow us to successfully prove the correctness ..."
 
Том 30, № 4 (2018) Совмещение ACSL спецификаций с машинным кодом Аннотация  похожие документы
П. А. Путро
"... the correctness of the generated machine code by deductive verification. To achieve this goal, it is required ..."
 
Том 31, № 3 (2019) Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы Аннотация  похожие документы
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков
"... verification is used for this purpose. In this paper, we present some approaches for verification of memory ..."
 
Том 28, № 3 (2016) Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров Аннотация  похожие документы
М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков
"... under verification (DUV) are introduced. Adjustments to the approach for supporting generation of out ..."
 
1 - 44 из 180 результатов 1 2 3 4 5 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)