Сортировать по:
| Выпуск | Название | |
| Том 27, № 4 (2015) | Применение алгоритмов проверки эквивалентности для оптимизации программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, В. В. Подымов | ||
| "... На примере двух моделей программ показано, что задача оптимизации размера программ может быть ..." | ||
| Том 23 (2012) | Унификация программ | Аннотация PDF (Rus) похожие документы |
| Т. А. Новикова, В. А. Захаров | ||
| "... В данной работе в качестве эквивалентности программ рассматривается отношение логико-термальная ..." | ||
| Том 22 (2012) | Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Т. А. Новикова | ||
| "... Логико-термальная эквивалентность программ - это одно из наиболее слабых отношений эквивалентности ..." | ||
| Том 26, № 3 (2014) | Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами | Аннотация PDF (Rus) похожие документы |
| В. В. Подымов, В. А. Захаров | ||
| "... В статье исследована задача проверки эквивалентности последовательных программ, некоторые операторы ..." | ||
| Том 27, № 2 (2015) | Моделирование и анализ поведения последовательных реагирующих программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров | ||
| "... последовательных реагирующих программ. Эти программы работают во взаимодействии с окружающей средой, получая ..." | ||
| Том 27, № 2 (2015) | Конечные автоматы в теории алгебраических схем программ | Аннотация PDF (Rus) похожие документы |
| Р. И. Подловченко | ||
| "... Рассматриваемые в этой статье алгебраические модели программ являются обобщением двух моделей ..." | ||
| Том 21 (2011) | Применение алгебры подстановок для унификации программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Т. А. Новикова | ||
| "... реорганизации программ, деобфускации программ, выявления уязвимостей в программном коде и др., желательно иметь ..." | ||
| Том 26, № 2 (2014) | Двусторонняя унификация программ и ее применение для задач рефакторинга | Аннотация PDF (Rus) похожие документы |
| Т. А. Новикова, В. А. Захаров | ||
| "... ) программ - выделения в заданном фрагменте кода тела библиотечной процедуры с целью последующей замены ..." | ||
| Том 35, № 5 (2023) | Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang | Аннотация PDF (Rus) похожие документы |
| Рубен Артурович БУЧАЦКИЙ, Ян Андрееви ЧУРКИН, Кирилл Алексеевич ЧИБИСОВ, Михаил Вячеславович ПАНТИЛИМОНОВ, Егор Викторович ДОЛГОДВОРОВ, Андрей Викторович ВЯЗОВЦЕВ, Алексей Георгиевич ВОЛОХОВ, Владимир Владимирович ТРУНОВ, Гаяне Оганнесовна МИРАКЯН, Константин Николаевич КИТАЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация похожие документы |
| А. Р. Гнатенко, В. А. Захаров | ||
| "... Последовательные реагирующие системы - это программы, которые взаимодействуют с окружением, получая ..." | ||
| Том 33, № 6 (2021) | Возможности и ограничения инструментов верификации моделей программ | Аннотация похожие документы |
| Евгений Михайлович НОВИКОВ | ||
| "... Инструменты верификации моделей программ позволяют автоматически искать нарушения ..." | ||
| Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| Д. Бейер, А. К. Петренко | ||
| "... различных техник анализа программ: использования SMT-решателей, методов верификации моделей (model checking ..." | ||
| Том 35, № 3 (2023) | Поиск новых ошибок методом верификации моделей с помощью подхода дельта отладки | Аннотация похожие документы |
| Олег Максимович ПЕТРОВ | ||
| "... Зачастую инструмент формальной верификации моделей программ не может получить вердикт ..." | ||
| Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... исполнения программного кода и алгоритм построения модели программы, пригодной для проведения верификации ..." | ||
| Том 29, № 3 (2017) | Комбинация методов статической верификации композиции требований | Аннотация PDF (Rus) похожие документы |
| В. О. Мордань | ||
| "... Статическая верификация программного обеспечения доказывает выполнение требований в программах ..." | ||
| Том 32, № 5 (2020) | Экспертная оценка результатов верификации инструментов верификации моделей программ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич ГРАТИНСКИЙ, Евгений Михайлович НОВИКОВ, Илья Сергеевич ЗАХАРОВ | ||
| "... При проверке программ на соответствие спецификациям требований инструменты верификации моделей ..." | ||
| Том 34, № 4 (2022) | Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики | Аннотация похожие документы |
| Александр Юрьевич ГЕРАСИМОВ, Алексей Алексеевич КАНАХИН, Петр Алексеевич ПРИВАЛОВ, Андрей Александрович ЖУКОВ, Евгений Аркадьевич КАМИНСКИЙ | ||
| "... Статический анализ исходного кода программ широко используется для обнаружения ошибок. В основном ..." | ||
| Том 37, № 1: январь-февраль | Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович КОНДРАТЬЕВ, Сергей Михайлович СТАРОЛЕТОВ, Ирина Владимировна ШОШМИНА, Анастасия Владимировна КРАСНЕНКОВА, Кирилл Викторович ЗИБОРОВ, Николай Вячеславович ШИЛОВ, Наталья Олеговна ГАРАНИНА, Тимофей Юрьевич ЧЕРГАНОВ | ||
| "... В нашей статье описан опыт организации второго соревнования по формальной верификации программ ..." | ||
| Том 36, № 2 (2024) | Соревнования по формальной верификации VeHa-2023: опыт проведения | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ, Дмитрий Александрович КОНДРАТЬЕВ, Наталья Олеговна ГАРАНИНА, Ирина Владимировна ШОШМИНА | ||
| "... организации соревнования по формальной верификации программ среди студентов российских вузов. Соревнования ..." | ||
| Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
| "... анализа программ на основе символьного исполнения к программному обеспечению, предоставляющему графический ..." | ||
| Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков | ||
| "... В статье рассматривается задача проведения динамического анализа программ на языке Java при ..." | ||
| Том 22 (2012) | Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян | ||
| "... В статье описывается метод двухэтапной компиляции программ на языках общего назначения ..." | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Гибридный подход к направленному фаззингу | Аннотация похожие документы |
| Дарья Алексеевна ПАРЫГИНА, Тимофей Павлович МЕЖУЕВ, Даниил Олегович КУЦ | ||
| "... Анализ программ и автоматизированное тестирование в последнее время стали неотъемлемой частью РБПО ..." | ||
| Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... верификации Си программ. Представлен обзор текущих возможностей инструментов, в том числе по таким ..." | ||
| Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
| "... В работе рассмотрены различные аспекты статического анализа программ на языке C# с целью ..." | ||
| Том 28, № 5 (2016) | Автоматическое доказательство безопасности локальных пустых указателей | Аннотация похожие документы |
| А. В. Когтенков | ||
| "... -ориентированных программах. Ее можно избежать путем добавления к языку, на котором пишется программа, специальных ..." | ||
| Том 33, № 6 (2021) | Обзор методов функционального онлайн-тестирования микропроцессоров | Аннотация PDF (Rus) похожие документы |
| Никита Дмитриевич ЧЕРТОК, Михаил Михайлович ЧУПИЛКО | ||
| "... верификации на до-производственном этапе. Тесты для микропроцессоров обычно имеют вид программ; соответственно ..." | ||
| Том 26, № 2 (2014) | Внесение неисправностей в программу с использованием детерминированного воспроизведения | Аннотация PDF (Rus) похожие документы |
| П. М. Довгалюк, Ю. В. Маркин | ||
| "... В данной работе представлен подход к внесению неисправностей в программу, использующий механизм ..." | ||
| Том 25 (2013) | Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, А. Ю. Герасимов | ||
| "... В статье рассматривается подход к уменьшению времени динамического анализа программ при помощи ..." | ||
| Том 22 (2012) | Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования | Аннотация PDF (Rus) похожие документы |
| В. Н. Игнатьев | ||
| "... Для достижения переносимости, надёжности и безопасности программ на С и С++ может применяться ..." | ||
| Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, Е. М. Новиков | ||
| "... видов в целевых программах при выполнении определенных предположений даже в условиях отсутствия полных ..." | ||
| Том 30, № 3 (2018) | К проверке строго детерминированного поведения временных конечных автоматов | Аннотация похожие документы |
| Е. М. Винарский, В. А. Захаров | ||
| "... to produce an output. A variety of algorithms for equivalence checking, minimization and test generation were ..." | ||
| Том 37, № 1: январь-февраль | Применение формальных спецификаций системы команд для функционального тестирования языковых виртуальных машин | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич ПРОЦЕНКО | ||
| "... на два основных вопроса: как создавать тестовые программы и как проверять результат их исполнения ..." | ||
| Том 34, № 2 (2022) | Поиск ошибок в бинарном коде методами динамической символьной интерпретации | Аннотация похожие документы |
| Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ | ||
| "... безопасного цикла разработки являются фаззинг и символьная интерпретация программ, позволяющие автоматически ..." | ||
| Том 28, № 2 (2016) | Refinement типы для языка Jolie | Аннотация похожие документы |
| Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера | ||
| "... целесообразно, поскольку оно не пропускает программу с ошибкой. Полноценное решение потребует доработки в части ..." | ||
| Том 37, № 1: январь-февраль | Организация статического анализа на абстрактных синтаксических деревьях с помощью конечных автоматов | Аннотация PDF (Rus) похожие документы |
| Валерий Николаевич ИГНАТЬЕВ | ||
| "... анализа семантики программы. Для большинства известных типов ошибок предложена формализация, основанная ..." | ||
| Том 27, № 6 (2015) | Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Д. А. Максименков | ||
| "... новый метод инструментирования кода программы на этапе компиляции. Особенностью описываемого в статье ..." | ||
| Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... Одним из наиболее перспективных методов поиска ошибок в программах в настоящее время является ..." | ||
| Том 29, № 4 (2017) | Автоматизированная генерация типовых контрактов для языка Ruby | Аннотация похожие документы |
| Н. Ю. Вьюгинов, В. С. Фондаратов | ||
| "... вызовы метода во время исполнения программы и сохраняем типы аргументов и выходной тип. На основе ..." | ||
| Том 27, № 6 (2015) | Агрессивная инлайн-подстановка функций для VLIW-архитектур | Аннотация PDF (Rus) похожие документы |
| А. В. Ермолицкий, М. И. Нейман-Заде, О. А. Четверина, А. Л. Маркин, В. Ю. Волконский | ||
| "... программа». Реализация нашего алгоритма в оптимизирующем компиляторе для архитектуры Эльбрус позволила ..." | ||
| Том 32, № 2 (2020) | Платформа автоматического фаззинга программного интерфейса приложений | Аннотация PDF (Rus) похожие документы |
| Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ | ||
| "... расширения возможностей программы. Это еще больше усложняет тестирование программного обеспечения, поскольку ..." | ||
| Том 38, № 3: часть 4. май-июнь | Автоматизация портирования Android-приложений в экосистему HarmonyOS NEXT с использованием формальных спецификаций | Аннотация PDF (Rus) похожие документы |
| Иван Александрович МИЛЕНИН, Владимир Михайлович ИЦЫКСОН | ||
| "... нативным для клиентских приложений в HarmonyOS NEXT, с сохранением исходной логики и структуры программы ..." | ||
| 1 - 42 из 42 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
