Сортировать по:
| Выпуск | Название | |
| Том 22 (2012) | Интерполяция формул с кванторами в CSIsat на основе инстанцирования | Аннотация PDF (Rus) похожие документы |
| В. С. Мутилин, М. У. Мандрыкин | ||
| "... of an external decision procedure (namely CVC3) for quantified formula instantiation. It describes how the CSIsat ..." | ||
| Том 32, № 2 (2020) | Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT | Аннотация PDF (Rus) похожие документы |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| "... _UFLIA. In this paper, we present an instantiation procedure for translating formulas in the theory of bounded integers ..." | ||
| Том 33, № 4 (2021) | Полная решающая процедура для теории ограниченной адресной арифметики | Аннотация PDF (Rus) похожие документы |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| "... such as QF_UFLIA. In this paper, we present an instantiation procedure for translating formulas in the theory ..." | ||
| Том 24 (2013) | Введение в метод CEGAR - уточнение абстракции по контрпримерам | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин, А. В. Хорошилов | ||
| "... abstraction. The set of predicates for the abstraction is obtained by Craig interpolation of the logical ..." | ||
| Том 35, № 3 (2023) | Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE | Аннотация похожие документы |
| Сергей Антонович МОРОЗОВ, Александр Владимирович МИСОНИЖНИК, Дмитрий Владимирович КОЗНОВ, Дмитрий Аркадьевич ИВАНОВ | ||
| "... symbolic variables – program data with no concrete value at the moment of instantiation – and uses them ..." | ||
| Том 28, № 5 (2016) | Оптимизация читаемости тестов порождаемых при символьных вычислениях | Аннотация PDF (Rus) похожие документы |
| И. А. Якимов, А. С. Кузнецов | ||
| "... of LLVM and CVC4 frameworks is created. Experimental evaluation on 12 string processing routins from ..." | ||
| Том 32, № 3 (2020) | Архитектура системы дедуктивной верификации машинного кода | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ | ||
| "... analyzer (Frama-C), a machine code analyzer (MicroTESK), and an SMT solver (CVC4). The modular design ..." | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| "... formulae defining reachability conditions for the transitions of the extended finite state machine ..." | ||
| Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация похожие документы |
| А. Р. Гнатенко, В. А. Захаров | ||
| "... state transducers over semigroups against LP-CTL* formulae, prove its correctness, and estimate its ..." | ||
| Том 31, № 6 (2019) | Моделирование метеоусловий в районе порта и в прибрежной зоне залива Тикси | Аннотация PDF (Rus) похожие документы |
| Александр Владимирович Иванов, Сергей Владимирович Стрижак, Моисей Иванович Захаров | ||
| "... and monitoring of a near the village of Tiksi is proposed, which is based on interpolation the results obtained ..." | ||
| Том 35, № 4 (2023) | Моделирование русловых процессов в створе канала | Аннотация PDF (Rus) похожие документы |
| Игорь Иванович ПОТАПОВ, Дмитрий Игоревич ПОТАПОВ | ||
| "... surface of a hydrodynamic flow is determined from the interpolation of experimental data. The model takes ..." | ||
| Том 37, № 2: март-апрель | Характеристики взаимодействия встречных недорасширенных струй из микросопел | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович КОРЕПАНОВ, Мария Равилевна КОРОЛЕВА, Екатерина Александровна МИТРЮКОВА | ||
| "... to discretize the convective terms, and linear interpolation of the values on the edges of the control cells ..." | ||
| Том 29, № 1 (2017) | Модификация метода погруженных границ LS-STAG для моделирования течений вязкоупругих жидкостей | Аннотация PDF (Rus) похожие документы |
| В. В. Пузикова | ||
| "... is presented. Rate type viscoelastic flow models (linear and quasilinear) are considered. Formulae ..." | ||
| Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... , Interpolation, and Shape Analysis. The paper also discusses current capabilities of the tools such as supported ..." | ||
| Том 30, № 2 (2018) | Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении | Аннотация PDF (Rus) похожие документы |
| А. Н. Авдеева, В. В. Пузикова | ||
| "... and parabolic subproblems. To solve the hyperbolic subtask, an integro-interpolation method based on the MUSCL ..." | ||
| 1 - 15 из 15 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
