Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 28, № 2 (2016) Применимость AutoProof: учебный пример верификации ПО Аннотация  похожие документы
Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин
"... of verification tools we chose an automated verifier for the Eiffel programming language, AutoProof, and a well ..."
 
Том 29, № 4 (2017) Контрактный метод спецификации реактивных требований Аннотация  похожие документы
А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль
"... scheme from temporal specifications to contract-equipped object-oriented programs, expressed in Eiffel ..."
 
Том 32, № 5 (2020) Экспертная оценка результатов верификации инструментов верификации моделей программ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич ГРАТИНСКИЙ, Евгений Михайлович НОВИКОВ, Илья Сергеевич ЗАХАРОВ
"... Verification tools can produce various kinds of results while checking programs against ..."
 
Том 26, № 1 (2014) Средства функциональной верификации микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов
"... problem. To deal with it, various tools for functional verification are used. Unlike bugs in software ..."
 
Том 29, № 1 (2017) Обзор подходов к моделированию памяти в инструментах статической верификации Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин
"... and Bounded Quantification (LISBQ) earlier implemented in the HAVOC deductive verification tool. ..."
 
Том 33, № 6 (2021) Возможности и ограничения инструментов верификации моделей программ Аннотация  похожие документы
Евгений Михайлович НОВИКОВ
"... in programs as well as formal proof of correctness under certain assumptions. These tools actively evolve two ..."
 
Том 23 (2012) Верификация драйверов операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Д. Бейер, А. К. Петренко
"... if the conceptual state-of-the-art becomes available in tool implementations. The paper is based on experience ..."
 
Том 36, № 1 (2024) Тест на удобство использования для учителей при обучении уходу за детьми с нарушениями слуха на основе информационно-коммуникационных технологий Аннотация  похожие документы
Этельвина АРЧУНДИЯ-СЬЕРРА
"... teachers, the result of the study indicates that the usability of all the tools is above the standards (72 ..."
 
Том 29, № 4 (2017) Инструмент для анализа поведения вполне структурированных систем переходов Аннотация  похожие документы
Л. В. Дворянский, В. Е. Михайлов
"... Well-structured transition systems (WSTS) became a well-known tool in the study of concurrency ..."
 
Том 31, № 5 (2019) Анализ корректности синхронизации компонентов ядра операционных систем Аннотация  PDF (Rus)  похожие документы
Павел Сергеевич Андрианов
"... Most of the software model checker tools do not scale well on complicated software. Our goal ..."
 
Том 22 (2012) Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов
"... The survey considers methods and techniques used in modern static verification tools for C ..."
 
Том 30, № 4 (2018) Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa Аннотация  похожие документы
И. А. Писарев, Л. К. Бабенко
"... modeling. The Avispa tool is used for analyzing the security of the selected protocol. The protocol ..."
 
Том 33, № 1 (2021) Путеводитель по проектированию удобных Web-API Аннотация  PDF (Rus)  похожие документы
Марибель ТЕЛЛО-РОДРИГЕС, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Хуан Карлос ПЕРЕС-АРРИАГА, Ксавье ЛИМОН, Анхель Х. САНЧЕС-ГАРСИЯ
"... is the most appropriate to address usability issues. Therefore, usability should be considered as an explicit ..."
 
Том 29, № 4 (2017) Статическая верификация конфигураций ядра Linux Аннотация  похожие документы
С. В. Козин, В. С. Мутилин
"... of all configurations. We offer to check the operating system with special wrapper for tools analyzing ..."
 
Том 35, № 3 (2023) Поиск новых ошибок методом верификации моделей с помощью подхода дельта отладки Аннотация  похожие документы
Олег Максимович ПЕТРОВ
"... of the given program. These algorithms were implemented in software-verification tool CPAchecker. Our ..."
 
Том 27, № 6 (2015) Облачный фреймворк для интеграции сетевых экспертных и аналитических средств Аннотация  PDF (Rus)  похожие документы
А. Н. Ермаков, С. В. Клименко, А. А. Меркулов, С. А. Панфилов, А. Н. Райков
"... the cloud framework for integrates the heterogeneous information, experts and analytical tools in the cloud ..."
 
Том 25 (2013) Моделирование окружения драйверов устройств операционной системы Linux Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов
"... behavior as the real driver environment in operating system from the static verification tools point ..."
 
Том 30, № 4 (2018) Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем Аннотация  похожие документы
Х. С. Карраскель, А. Моралес, М. Е. Виллаполь
"... Tools for supporting automata-based analysis and verification. The tool implements several operations ..."
 
Том 29, № 4 (2017) Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области Аннотация  похожие документы
А. Р. Волков, М. У. Мандрыкин
"... . Special software - tools for static verification - often work with program's source code. One of the tools ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... .) at the machine code level. The tool is highly automated: provided that the target instruction set is formalized ..."
 
Том 29, № 4 (2017) Методика параметризованной верификации протоколов когерентности памяти Аннотация  похожие документы
В. С. Буренков
"... describes the development of the tool, which is written in the C++ language with the Boost.Spirit library ..."
 
Том 36, № 4 (2024) Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации Аннотация  PDF (Rus)  похожие документы
Алексей Александрович КАРНОВ
"... analysis tool prototype. ..."
 
Том 30, № 4 (2018) Совмещение ACSL спецификаций с машинным кодом Аннотация  похожие документы
П. А. Путро
"... and justified, the most suitable tools for implementing the approach of merging specifications are selected ..."
 
Том 37, № 1 (2025) Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович КОНДРАТЬЕВ, Сергей Михайлович СТАРОЛЕТОВ, Ирина Владимировна ШОШМИНА, Анастасия Владимировна КРАСНЕНКОВА, Кирилл Викторович ЗИБОРОВ, Николай Вячеславович ШИЛОВ, Наталья Олеговна ГАРАНИНА, Тимофей Юрьевич ЧЕРГАНОВ
"... and solve any of 5 verification problems using pre-defined model checking and deductive verification tools ..."
 
Том 31, № 3 (2019) Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода Аннотация  похожие документы
Павел Андреевич Путро
"... The existing tools of deductive verification allow us to successfully prove the correctness ..."
 
Том 36, № 2 (2024) Соревнования по формальной верификации VeHa-2023: опыт проведения Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович СТАРОЛЕТОВ, Дмитрий Александрович КОНДРАТЬЕВ, Наталья Олеговна ГАРАНИНА, Ирина Владимировна ШОШМИНА
"... verification tools. We consider the issues of organizing such an event, proposed tasks, results of decisions ..."
 
Том 33, № 1 (2021) Последние тенденции в развитии подводной беспроводной сенсорной сети: систематический обзор литературы Аннотация  PDF (Rus)  похожие документы
Аиша ТАРИК, Фарук АЗАМ, Мухаммад Васим АНВАР, Тайиба ЗАХУР, Абдул Вахаб МУЗАФФАР
"... studies have been carried out to perform certain improvements in UWSNs techniques, tools, protocols ..."
 
Том 30, № 5 (2018) Проверка функциональных свойств смарт-контрактов методом символьной верификации модели Аннотация  PDF (Rus)  похожие документы
Е. С. Шишкин
"... We describe our efforts towards building a tool that automatically verify high-level functional ..."
 
Том 27, № 5 (2015) Использование языка программирования Python для описания ограничений на архитектурные модели Аннотация  PDF (Rus)  похожие документы
Е. В. Корныхин, А. В. Хорошилов
"... rich facilities of Python language, tools, and libraries as well as to reduce learning curve ..."
 
Том 30, № 6 (2018) Статическая верификация ошибок использования памяти в модулях ядра ОС Linux Аннотация  похожие документы
А. А. Васильев
"... kernel requires additional effort. Limitations of current tools for static verification disallow ..."
 
Том 26, № 2 (2014) Конфигурируемая система статической верификации модулей ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов
"... verification tools which needs contract specifications describing formally obligations of a kernel and modules ..."
 
Том 29, № 1 (2017) Обзор методов и средств генерации тестовых программ для микропроцессоров Аннотация  PDF (Rus)  похожие документы
А. Д. Татарников
"... This paper gives a survey of existing methods and tools for test program generation ..."
 
Том 34, № 3 (2022) Инструмент для сравнения .NET сборок в интегрированной среде разработки Rider Аннотация  похожие документы
Владислав Игоревич МИРОШНИКОВ
"... , the existing tools have some significant drawbacks, for example they don't support comparison of .NET Core ..."
 
Том 24 (2013) Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков
"... . To apply successfully existing tools for the Linux kernel one needs to perform componentwise verification ..."
 
Том 27, № 3 (2015) Iskra: Инструмент починки моделей процессов Аннотация  PDF (Rus)  похожие документы
И. Шугуров, А. Мицюк
"... This paper is dedicated to a tool whose aim is to facilitate process mining experiments ..."
 
Том 24 (2013) Введение в метод CEGAR - уточнение абстракции по контрпримерам Аннотация  PDF (Rus)  похожие документы
М. У. Мандрыкин, В. С. Мутилин, А. В. Хорошилов
"... Precision, completeness and scalability of static verification tools have dramatically improved ..."
 
Том 30, № 2 (2018) Онтология предметной области «Удобство использования программного обеспечения» Аннотация  PDF (Rus)  похожие документы
А. А. Сытник, Т. Э. Шульга, Н. А. Данилов
"... The article presents the ontology of the "Software usability" domain. Authors provides the review ..."
 
Том 32, № 6 (2020) Автоматический анализ дискретных динамических систем на метрических графах с помощью сетей Петри с временными дугами и инструмента TAPAAL Аннотация  похожие документы
Леонид Владимирович ДВОРЯНСКИЙ, Александр Александрович ИЗМАЙЛОВ
"... of interest. However, there are no tools that enable us to analyse them. In this work, we provide a new ..."
 
Том 29, № 6 (2017) Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем Аннотация  PDF (Rus)  похожие документы
И. С. Захаров, Е. М. Новиков
"... Methods and tools for automated static verification aim at detecting all violations of checked ..."
 
1 - 39 из 449 результатов 1 2 3 4 5 6 7 8 9 10 11 12 > >> 

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

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