Сортировать по:
Выпуск | Название | |
Том 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 диссертация)