Сортировать по:
| Выпуск | Название | |
| Том 37, № 1 (2025) | Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович КОНДРАТЬЕВ, Сергей Михайлович СТАРОЛЕТОВ, Ирина Владимировна ШОШМИНА, Анастасия Владимировна КРАСНЕНКОВА, Кирилл Викторович ЗИБОРОВ, Николай Вячеславович ШИЛОВ, Наталья Олеговна ГАРАНИНА, Тимофей Юрьевич ЧЕРГАНОВ | ||
| "... We present our experience of organizing the second contest in formal program verification ..." | ||
| Том 36, № 2 (2024) | Соревнования по формальной верификации VeHa-2023: опыт проведения | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ, Дмитрий Александрович КОНДРАТЬЕВ, Наталья Олеговна ГАРАНИНА, Ирина Владимировна ШОШМИНА | ||
| "... a competition in formal verification of programs among students of Russian universities. The competition ..." | ||
| Том 20 (2011) | Архитектура Linux Driver Verification | Аннотация PDF (Rus) похожие документы |
| В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед | ||
| "... The paper discusses requirements to a twofold verification system that should be an open platform ..." | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| "... verification. The motivation is rather clear: modern compilers, such as GCC and Clang/LLVM, are not free ..." | ||
| Том 32, № 2 (2020) | Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT | Аннотация PDF (Rus) похожие документы |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| "... SMT solvers are widely applied for deductive verification of C programs using various verification ..." | ||
| Том 26, № 1 (2014) | Средства функциональной верификации микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов | ||
| "... problem. To deal with it, various tools for functional verification are used. Unlike bugs in software ..." | ||
| Том 27, № 3 (2015) | О реализации формального метода верификации масштабируемых систем с когерентной памятью | Аннотация PDF (Rus) похожие документы |
| Владимир Буренков | ||
| "... This article analyzes existing methods of verification of cache coherence protocols of scalable ..." | ||
| Том 31, № 3 (2019) | Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров | Аннотация похожие документы |
| Павел Викторович Фролов | ||
| "... Development of system-on-chips or network-on-chips requires verification of standalone units ..." | ||
| Том 30, № 6 (2018) | Компонентная верификация операционных систем | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко, А. В. Хорошилов | ||
| "... The paper presents recent results on the way towards accurate and complete verification ..." | ||
| Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Д. Бейер, А. К. Петренко | ||
| "... Linux driver verification is a large application area for software verification methods ..." | ||
| Том 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 ..." | ||
| Том 34, № 2 (2022) | Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» | Аннотация похожие документы |
| Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ | ||
| "... program generation for memory coherence verification of “Elbrus” microprocessors. Requirements for memory ..." | ||
| Том 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 ..." | ||
| Том 30, № 4 (2018) | К формальной верификации стандартов кибербезопасности | Аннотация похожие документы |
| Томаш Кулик, Питер Горм Ларсен | ||
| Том 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 ..." | ||
| Том 27, № 3 (2015) | Подход к верификации модуля прямого доступа к памяти | Аннотация PDF (Rus) похожие документы |
| В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов | ||
| "... A method of direct memory access subsystem verification used for “Elbrus” series microprocessors ..." | ||
| Том 31, № 5 (2019) | Автоматическое доказательство корректности программ с динамической памятью | Аннотация PDF (Rus) похожие документы |
| Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник | ||
| "... В данной работе изучаются теоретические основы автоматической модульной верификации императивных ..." | ||
| Том 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 ..." | ||
| Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
| "... The paper is addressed to the actual problem of verification of large-scale data models applied ..." | ||
| Том 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 ..." | ||
| Том 32, № 6 (2020) | Верификация соответствия между разноуровневыми моделями функциональных требований | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович ХОРОШИЛОВ | ||
| "... The paper considers the problem of verification of compliance between models representing the same ..." | ||
| Том 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 ..." | ||
| Том 33, № 6 (2021) | Возможности и ограничения инструментов верификации моделей программ | Аннотация похожие документы |
| Евгений Михайлович НОВИКОВ | ||
| "... Инструменты верификации моделей программ позволяют автоматически искать нарушения ..." | ||
| Том 35, № 3 (2023) | Поиск новых ошибок методом верификации моделей с помощью подхода дельта отладки | Аннотация похожие документы |
| Олег Максимович ПЕТРОВ | ||
| "... Many verification tasks in model checking (one of the formal software verification approaches) can ..." | ||
| Том 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 ..." | ||
| Том 27, № 5 (2015) | Об интеграции формальных методов в задачах верификации операционных систем | Аннотация PDF (Rus) похожие документы |
| А. К. Петренко, В. В. Кулямин, А. В. Хорошилов | ||
| "... In this work the problem of high quality verification techniques applicable for operating systems ..." | ||
| Том 31, № 3 (2019) | Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы | Аннотация похожие документы |
| Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков | ||
| "... verification is used for this purpose. In this paper, we present some approaches for verification of memory ..." | ||
| 1 - 39 из 167 результатов | 1 2 3 4 5 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
