Сортировать по:
| Выпуск | Название | |
| Том 35, № 1 (2023) | Блокчейн и задача выполнимости формул в теориях для тендерных систем | Аннотация похожие документы |
| Рене ДАВИЛА, Росио АЛЬДЕКО-ПЕРЕС, Эверардо БАРСЕНАС | ||
| "... . Satisfiability Modulo Theories provides a formal analysis to prove correctness of tender offers properties ..." | ||
| Том 33, № 2 (2021) | Выполнимость мю-исчисления с арифметическими ограничениями | Аннотация PDF (Rus) похожие документы |
| Йенсен ЛИМОН-ПРИЕГО, Исмаэль Эверардо БАРСЕНАС-ПАТИНЬО, Эдгард Иван БЕНЕТЕС-ГЕРРЕРО, Гильермо Хильберто МОЛЕРО-КАСТИЛЬО, Алехандро ВЕЛАСКЕС-МЕНА | ||
| "... arithmetic constraints, interpreted over tree models. We describe a satisfiability algorithm based on breadth ..." | ||
| Том 22 (2012) | Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, Д. В. Сидоров | ||
| "... for Boolean formula satisfiability checking. MiniSAT main mechanism is based on variation of DPLL algorithm ..." | ||
| Том 32, № 2 (2020) | Применение технологии машинного обучения для анализа вероятности выигрыша тендера на выполнение проекта | Аннотация похожие документы |
| Никита Борисович КУЛЬТИН, Данила Никитич КУЛЬТИН, Роман Владимирович БАУЭР | ||
| "... in order to support the decision to participate in the tender for the implementation of the project ..." | ||
| Том 25 (2013) | Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, А. Ю. Герасимов | ||
| "... computing scheme and parallel computing for checking satisfiability of Boolean constraint sets. An overview ..." | ||
| Том 27, № 5 (2015) | Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, И. А. Дудина, В. И. Игнатьев, А. И. Борзилов | ||
| "... analysis engine as for bug detection. The problem of bug detection is reduced to satisfiability of a first ..." | ||
| Том 32, № 2 (2020) | Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT | Аннотация PDF (Rus) похожие документы |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| Том 33, № 4 (2021) | Полная решающая процедура для теории ограниченной адресной арифметики | Аннотация PDF (Rus) похожие документы |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
| "... statements: linear programming, constraint satisfaction problem (CSP), Boolean satisfiability (SAT). Usage ..." | ||
| Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков | ||
| "... generation by tracing tainted data, collecting path conditions, and satisfiability checking. The proposed ..." | ||
| Том 30, № 3 (2018) | Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения | Аннотация PDF (Rus) похожие документы |
| С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян | ||
| "... символьное исполнение программы с применением решателей SMT (Satisfiability Modulo Theories) [12]. Это ..." | ||
| Том 36, № 5 (2024) | Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич КОСАРЕВ, Петр Алексеевич ЛОЗОВ, Дмитрий Юрьевич БУЛЫЧЕВ | ||
| "... as a constraint satisfiability problem and describe the construction of a sound and complete solver based ..." | ||
| Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... , intermediate representation and large formulas in Satisfiability Modulo Theories (SMT) format. Traditional ..." | ||
| Том 26, № 2 (2014) | О синтаксическом определении класса языков, распознаваемых недетерминированными машинами Тьюринга на логарифмической памяти | Аннотация PDF (Rus) похожие документы |
| Д. А. Носов | ||
| "... . It is known that NL is contained in P, since there is a polynomial-time algorithm for 2-satisfiability ..." | ||
| Том 23 (2012) | Комбинаторная генерация программных конфигураций ОС | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин | ||
| "... satisfiability check based on well-known Aspvall-Plass-Tarjan algorithm. The method proposed is applied ..." | ||
| Том 29, № 3 (2017) | Обзор подходов к улучшению качества результатов статического анализа программ | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов | ||
| "... approaches and methods both to check correctness and satisfiability of requirements for software as well ..." | ||
| Том 30, № 5 (2018) | Проверка функциональных свойств смарт-контрактов методом символьной верификации модели | Аннотация PDF (Rus) похожие документы |
| Е. С. Шишкин | ||
| "... видов свойств на трассах ограниченной длины, а также осуществлять проверку выполнимости инварианта ..." | ||
| Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
| "... достаточные условия выхода за границы. Выполнимость достаточных условий проверяется SMT-решателем и, в случае ..." | ||
| Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
| "... предикатов в сложные трассы, обрабатываемые инструментами проверки выполнимости булевых ограничений ..." | ||
| Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация похожие документы |
| А. Р. Гнатенко, В. А. Захаров | ||
| "... табличный алгоритм проверки выполнимости формул LP-CTL* на моделях конечных автоматов-преобразователей ..." | ||
| 1 - 20 из 20 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
