Сортировать по:
| Выпуск | Название | |
| Том 22 (2012) | Финальные модели спецификации | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... трассовой моделью спецификации. С другой стороны, LTS-модель удобна тем, что является способом конечного ..." | ||
| Том 30, № 4 (2018) | Совмещение ACSL спецификаций с машинным кодом | Аннотация похожие документы |
| П. А. Путро | ||
| "... к проведению слияния спецификаций для случая Си функций без циклов. Суть подхода заключается построении моделей ..." | ||
| Том 32, № 6 (2020) | Мониторинг и тестирование на основе многоуровневых спецификаций программ | Аннотация PDF (Rus) похожие документы |
| Александр Константинович ПЕТРЕНКО, Денис Валентинович ЕФРЕМОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ, Илья Викторович ЩЕПЕТКОВ | ||
| "... вопросам построения многоуровневых спецификаций, отвечающих потребностям методологии пошаговой детализации ..." | ||
| Том 33, № 5 (2021) | Формальный язык первичных спецификаций криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| "... качества этих реализаций. Наибольший эффект даст изложение на формальном языке первичных спецификаций ..." | ||
| Том 18 (2010) | Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций | Аннотация PDF (Rus) похожие документы |
| М. М. Чупилко | ||
| "... анализ возможностей построения тестовой системы на основе использования формальных спецификаций, а также ..." | ||
| Том 33, № 6 (2021) | Возможности и ограничения инструментов верификации моделей программ | Аннотация похожие документы |
| Евгений Михайлович НОВИКОВ | ||
| "... Инструменты верификации моделей программ позволяют автоматически искать нарушения ..." | ||
| Том 30, № 5 (2018) | Проверка функциональных свойств смарт-контрактов методом символьной верификации модели | Аннотация PDF (Rus) похожие документы |
| Е. С. Шишкин | ||
| "... Ethereum методом символьной верификации модели. Описанный подход позволяет верифицировать выполнение ..." | ||
| Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... взаимодействия, моделей и конформностей. Необходимость такого обобщения диктовалась, прежде всего, требованиями ..." | ||
| Том 37, № 1: январь-февраль | Применение формальных спецификаций системы команд для функционального тестирования языковых виртуальных машин | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич ПРОЦЕНКО | ||
| "... . В статье представлен метод функционального тестирования языковых ВМ на основе формальных спецификаций ..." | ||
| Том 30, № 6 (2018) | Тестирование соответствия реализаций протокола EAP и его методов спецификациям Интернета | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, В. З. Шнитман | ||
| "... их формальных моделей и расширения JavaTesK, реализующего эту технологию на языке программирования. Совместное ..." | ||
| Том 27, № 2 (2015) | Тестирование реализаций клиента протокола TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... используются в формальной модели протокола. Этот подход доказал свою эффективность, поскольку обеспечил ..." | ||
| Том 37, № 3: май-июнь | Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом. | Аннотация PDF (Rus) похожие документы |
| Александр Константинович ПЕТРЕНКО, Петр Николаевич ДЕВЯНИН, Денис Валентинович ЕФРЕМОВ, Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ | ||
| "... формальные модели управления доступом и спецификации внешних интерфейсов СЗИ, которые уже появляются ..." | ||
| Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, Е. М. Новиков | ||
| "... моделей и формальных спецификаций. Эта возможность является основой предлагаемого в работе метода ..." | ||
| Том 23 (2012) | Разработка тестового набора для верификации реализаций протокола безопасности TLS | Аннотация PDF (Rus) похожие документы |
| А. В. Никешин, Н. В. Пакулин, В. З. Шнитман | ||
| "... к реализациям TLS, разработаны формальные спецификации и прототип тестового набора для верификации реализаций ..." | ||
| Том 26, № 1 (2014) | Автоматизация тестирования соответствия для телекоммуникационных протоколов | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, В. З. Шнитман, А. В. Никешин | ||
| "... реализаций спецификациям протоколов Интернета. Во всех проектах, представленных в статье, использовалась ..." | ||
| Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко | ||
| "... создания тестов на основе формальных моделей. Суммируется опыт использования UniTESK в крупных проектах ..." | ||
| Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
| "... UniTESK - технология тестирования, основанная на формальных моделях (или спецификациях) требований ..." | ||
| Том 38, № 3: часть 4. май-июнь | Автоматизация портирования Android-приложений в экосистему HarmonyOS NEXT с использованием формальных спецификаций | Аннотация PDF (Rus) похожие документы |
| Иван Александрович МИЛЕНИН, Владимир Михайлович ИЦЫКСОН | ||
| "... подход автоматизации портирования библиотек на основе спецификаций, заданных на языке LibSL. Видимое ..." | ||
| Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
| "... статической верификации, которым для проведения анализа необходимо предоставить контрактные спецификации ..." | ||
| Том 27, № 4 (2015) | Библиотека ограничений для спецификации индустриальных моделей данных | Аннотация PDF (Rus) похожие документы |
| С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан | ||
| "... . Использование паттернов ограничений в спецификациях моделей позволяет улучшить их наглядность, облегчить ..." | ||
| Том 35, № 6 (2023) | Извлечение опорных тестовых наборов из спецификаций криптопротоколов на предметно-ориентированном языке | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич ПРОКОПЬЕВ | ||
| "... протоколов, работающего на основе спецификаций, написанных на декларативном интероперабельном встроенном ..." | ||
| Том 28, № 2 (2016) | Применимость AutoProof: учебный пример верификации ПО | Аннотация похожие документы |
| Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин | ||
| Том 30, № 5 (2018) | Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок | ||
| "... В статье представлено описание модели управления доступом на языке темпоральной логики действий ..." | ||
| Том 33, № 6 (2021) | Модель и декларативный язык спецификации бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
| Александр Александрович ЕВГИН, Михаил Александрович СОЛОВЬЕВ, Вартан Андроникович ПАДАРЯН | ||
| "... модель формата. В данной работе предлагается подход к моделированию бинарных форматов. Описанная модель ..." | ||
| Том 28, № 4 (2016) | Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций | Аннотация похожие документы |
| А. С. Камкин, А. М. Коцыняк | ||
| "... : архитектурно независимого ядра генерации тестовых программ и спецификации подсистемы памяти MIPS64. Такое ..." | ||
| Том 27, № 3 (2015) | Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. С. Проценко, А. Д. Татарников | ||
| "... управления памятью микропроцессора. В основе метода лежат формальные спецификации инструкций доступа к памяти ..." | ||
| Том 18 (2010) | Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов | Аннотация PDF (Rus) похожие документы |
| Д. Н. Воробьев, А. С. Камкин | ||
| "... управляющей логики микропроцессоров. Методика основана на формальной спецификации системы команд и описании ..." | ||
| Том 28, № 6 (2016) | Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко | ||
| "... основных частей: (1) архитектурно независимого ядра и (2) формальной спецификации ARMv8 (точнее, модели ..." | ||
| Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| Том 20 (2011) | Тестирование протоколов электронной почты Интернета с использованием моделей | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, А. Н. Тугаенко | ||
| "... В статье рассматриваются вопросы тестирования почтовых протоколов с использованием формальных ..." | ||
| Том 26, № 6 (2014) | Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей | Аннотация PDF (Rus) похожие документы |
| Стефан Мааг | ||
| "... . В данной работе, для формального описания спецификации используется модель расширенного конечного автомата ..." | ||
| Том 29, № 3 (2017) | ADV_SPM - Формальные модели политики безопасности на практике | Аннотация PDF (Rus) похожие документы |
| А. В. Хорошилов, И. В. Щепетков | ||
| "... . На простом примере представляется подход к формализации политик безопасности при помощи языка формальных ..." | ||
| Том 27, № 5 (2015) | Об интеграции формальных методов в задачах верификации операционных систем | Аннотация PDF (Rus) похожие документы |
| А. К. Петренко, В. В. Кулямин, А. В. Хорошилов | ||
| "... верификации ядра операционной системы на основе формальных спецификаций. ..." | ||
| Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... приходится проводить верификацию покомпонентно. При этом инструментам необходимо предоставлять модель ..." | ||
| Том 30, № 3 (2018) | Нотация криптографической стековой машины версии один | Аннотация похожие документы |
| С. Е. Прокопьев | ||
| "... Хорошая спецификация криптографического протокола должна легко восприниматься человеком (быть ..." | ||
| Том 37, № 1: январь-февраль | Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович КОНДРАТЬЕВ, Сергей Михайлович СТАРОЛЕТОВ, Ирина Владимировна ШОШМИНА, Анастасия Владимировна КРАСНЕНКОВА, Кирилл Викторович ЗИБОРОВ, Николай Вячеславович ШИЛОВ, Наталья Олеговна ГАРАНИНА, Тимофей Юрьевич ЧЕРГАНОВ | ||
| "... В нашей статье описан опыт организации второго соревнования по формальной верификации программ ..." | ||
| Том 34, № 2 (2022) | Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации | Аннотация похожие документы |
| Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ | ||
| "... ; преобразование абзацев сценария в синтаксическое дерево с использованием предварительно обученной модели OpenIE ..." | ||
| Том 36, № 2 (2024) | Соревнования по формальной верификации VeHa-2023: опыт проведения | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ, Дмитрий Александрович КОНДРАТЬЕВ, Наталья Олеговна ГАРАНИНА, Ирина Владимировна ШОШМИНА | ||
| "... использовать знания формальных методов. В настоящее время огромное количество студентов обучается ..." | ||
| Том 29, № 4 (2017) | Контрактный метод спецификации реактивных требований | Аннотация похожие документы |
| А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль | ||
| "... подмножества LTL спецификаций в объектно-ориентированные программы с контрактами на языке Eiffel, которые ..." | ||
| Том 32, № 6 (2020) | Верификация соответствия между разноуровневыми моделями функциональных требований | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович ХОРОШИЛОВ | ||
| "... В статье предлагаются методы доказательства соответствия между разноуровневыми моделями ..." | ||
| Том 29, № 6 (2017) | Формальная верификация библиотечных функций ядра Linux | Аннотация PDF (Rus) похожие документы |
| Д. В. Ефремов, М. У. Мандрыкин | ||
| "... предлагается методология разработки спецификаций, примененная для рассматриваемого набора функций, которая ..." | ||
| Том 33, № 2 (2021) | Выполнимость мю-исчисления с арифметическими ограничениями | Аннотация PDF (Rus) похожие документы |
| Йенсен ЛИМОН-ПРИЕГО, Исмаэль Эверардо БАРСЕНАС-ПАТИНЬО, Эдгард Иван БЕНЕТЕС-ГЕРРЕРО, Гильермо Хильберто МОЛЕРО-КАСТИЛЬО, Алехандро ВЕЛАСКЕС-МЕНА | ||
| "... Пропозициональное модальное µ-исчисление является хорошо известным языком спецификаций систем ..." | ||
| Том 31, № 3 (2019) | Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода | Аннотация похожие документы |
| Павел Андреевич Путро | ||
| "... спецификации функции языка высокого уровня. Формальная спецификация функции состоит из спецификации пред ..." | ||
| Том 30, № 4 (2018) | Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем | Аннотация похожие документы |
| Х. С. Карраскель, А. Моралес, М. Е. Виллаполь | ||
| "... сетей Петри (CPN, Coloured Petri Nets) и конечных автоматов представляет собой успешную формальную ..." | ||
| Том 32, № 2 (2020) | Оценка качества требований к программному обеспечению с применением метода GQM и инструментов обработки естественного языка | Аннотация похожие документы |
| Евгений Валерьевич ТИМОЩУК | ||
| "... документов спецификации требований в автоматическом режиме может существенно сократить расходы бюджета ..." | ||
| Том 36, № 6 (2024) | Десятилетие достижений в синтезе программ по спецификациям на естественном языке: систематический обзор литературы | Аннотация похожие документы |
| Роландо РАМИРЕС-РУЭДА, Эдгард БЕНИТЕС-ГУЭРРЕРО, Кармен МЕЗУРА-ГОДОЙ, Эверардо БАРСЕНАС | ||
| "... спецификации требований. В этой статье представлен систематический обзор литературы, посвященный синтезу ..." | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| "... в возможности переиспользования формальных спецификаций (пред- и постусловий, инвариантов циклов, лемм ..." | ||
| Том 33, № 5 (2021) | Оптимизация программ на ProVerif для криптографических протоколов выработки общего ключа | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович ВИНАРСКИЙ, Алексей Васильевич ДЕМАКОВ | ||
| "... . Выполнение всех этих требований приводит к тому, что формальная спецификация для реального криптографического ..." | ||
| Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация похожие документы |
| А. Р. Гнатенко, В. А. Захаров | ||
| "... и др. В статье исследуются задача верификации программ такого вида. В качестве формальных моделей для реагирующих ..." | ||
| Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... . Во-вторых, разработка и верификация формальных моделей управления доступом, как основы механизмов защиты ..." | ||
| Том 27, № 4 (2015) | О дедуктивной верификации Си программ, работающих с разделяемыми данными | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, А. В. Хорошилов | ||
| "... упрощенной модели спецификации спин-блокировок и внешнего интерфейса механизма синхронизации RCU (Read-copy ..." | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Тестирование подсистемы безопасности ОС Astra Linux на основе формализованного описания модели управления доступом | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Сергей Сергеевич ЖИЛЯКОВ, Александр Игоревич СМИРНОВ | ||
| "... системных вызовов ОС и их перевода на язык формальной модели с целью проверки соответствия ей логики ..." | ||
| Том 32, № 5 (2020) | Экспертная оценка результатов верификации инструментов верификации моделей программ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич ГРАТИНСКИЙ, Евгений Михайлович НОВИКОВ, Илья Сергеевич ЗАХАРОВ | ||
| "... При проверке программ на соответствие спецификациям требований инструменты верификации моделей ..." | ||
| 1 - 53 из 76 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
