Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 30, № 4 (2018) Динамическая верификация контроллеров шин систем-на-кристалле Аннотация  похожие документы
М. М. Чупилко, Е. А. Дроздова
"... В работе представлен подход к верификации коммутационных компонентов систем на кристалле. Основной ..."
 
Том 31, № 3 (2019) Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров Аннотация  похожие документы
Павел Викторович Фролов
"... При разработке систем-на-кристалле необходимо проводить верификацию как отдельных подмодулей ..."
 
Том 30, № 6 (2018) Компонентная верификация операционных систем Аннотация  PDF (Rus)  похожие документы
В. В. Кулямин, А. К. Петренко, А. В. Хорошилов
"... В работе рассматриваются полученные недавно результаты на пути к полномасштабной верификации ..."
 
Том 29, № 6 (2017) Формальная верификация библиотечных функций ядра Linux Аннотация  PDF (Rus)  похожие документы
Д. В. Ефремов, М. У. Мандрыкин
"... В статье авторами рассматриваются результаты дедуктивной верификации набора из 26 библиотечных ..."
 
Том 33, № 6 (2021) Возможности и ограничения инструментов верификации моделей программ Аннотация  похожие документы
Евгений Михайлович НОВИКОВ
"... Инструменты верификации моделей программ позволяют автоматически искать нарушения ..."
 
Том 34, № 2 (2022) Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» Аннотация  похожие документы
Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ
"... тестовых программ для верификации когерентности памяти микропроцессоров семейства "Эльбрус". Рассмотрены ..."
 
Том 25 (2013) Моделирование окружения драйверов устройств операционной системы Linux Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов
"... При статической верификации драйверов устройств операционной системы Linux необходимо учитывать ..."
 
Том 27, № 4 (2015) О дедуктивной верификации Си программ, работающих с разделяемыми данными Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, А. В. Хорошилов
"... В статье рассматривается задача дедуктивной верификации кода ядра ОС Linux, написанного на языке Си ..."
 
Том 29, № 4 (2017) Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области Аннотация  похожие документы
А. Р. Волков, М. У. Мандрыкин
"... Верификация программного обеспечения - вид деятельности, направленный на контроль качества ..."
 
Том 29, № 1 (2017) Обзор подходов к моделированию памяти в инструментах статической верификации Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин
"... статической верификации. Обозначены основные проблемы, возникающие при разработке моделей памяти для языка Си ..."
 
Том 20 (2011) Тестирование протоколов электронной почты Интернета с использованием моделей Аннотация  PDF (Rus)  похожие документы
Н. В. Пакулин, А. Н. Тугаенко
 
Том 31, № 3 (2019) Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода Аннотация  похожие документы
Павел Андреевич Путро
"... Существующие на сегодняшний день инструменты дедуктивной верификации позволяют успешно доказывать ..."
 
Том 30, № 4 (2018) Совмещение ACSL спецификаций с машинным кодом Аннотация  похожие документы
П. А. Путро
"... верификации. Для достижения данной цели необходимо решить ряд задач, одной из которых является слияние модели ..."
 
Том 32, № 6 (2020) Верификация соответствия между разноуровневыми моделями функциональных требований Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович ХОРОШИЛОВ
"... просты и пригодны для применения при решении практических задач верификации сложных видов функциональных ..."
 
Том 27, № 5 (2015) Об интеграции формальных методов в задачах верификации операционных систем Аннотация  PDF (Rus)  похожие документы
А. К. Петренко, В. В. Кулямин, А. В. Хорошилов
"... В данной работе ставится задача разработки методов качественной верификации операционных систем ..."
 
Том 32, № 5 (2020) Экспертная оценка результатов верификации инструментов верификации моделей программ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич ГРАТИНСКИЙ, Евгений Михайлович НОВИКОВ, Илья Сергеевич ЗАХАРОВ
"... При проверке программ на соответствие спецификациям требований инструменты верификации моделей ..."
 
Том 31, № 3 (2019) Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы Аннотация  похожие документы
Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков
"... микропроцессорных систем. Для этого используется функциональная верификация. В данной работе представлены некоторые ..."
 
Том 31, № 5 (2019) Автоматическое доказательство корректности программ с динамической памятью Аннотация  PDF (Rus)  похожие документы
Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник
"... В данной работе изучаются теоретические основы автоматической модульной верификации императивных ..."
 
Том 23 (2012) Верификация драйверов операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Д. Бейер, А. К. Петренко
"... Верификация драйверов ОС Linux - это широкая область для применения различных методов верификации ..."
 
Том 28, № 2 (2016) Применимость AutoProof: учебный пример верификации ПО Аннотация  похожие документы
Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин
"... Очень часто инструменты статической верификации являются результатом многолетних научно ..."
 
1 - 20 из 83 результатов 1 2 3 4 5 > >> 

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

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