Сортировать по:
Выпуск | Название | |
Том 28, № 4 (2021) | Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ | Аннотация PDF (Rus) похожие документы |
Андрей Михайлович Миронов | ||
"... изложенной модели является возможность моделирования и верификации параллельных программ, порождающих ..." | ||
Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев | ||
"... верификации C-программ. C-kernel является промежуточным языком верификации в данной системе. Система облачного ..." | ||
Том 30, № 2 (2023) | Графы сигнальных переходов для схем асинхронного тракта данных | Аннотация похожие документы |
Александр Кушнеров, Сергей Быстров | ||
Том 26, № 4 (2019) | Методы специализации онтологии процессов, ориентированной на верификацию | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин | ||
"... Удобная для пользователя формальная спецификация и верификация параллельных и распределённых систем ..." | ||
Том 26, № 4 (2019) | Направляемый свойством поиск реляционных инвариантов | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Мордвинов | ||
"... задач реляционной верификации, PDR выводит индуктивные инварианты для каждого неинтерпретированного ..." | ||
Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
"... конечных моделях. Для указанных выше логик нами были разработаны алгоритмы верификации конечных автоматов ..." | ||
Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
"... модели TFSM требует и новых подходов к решению задачи верификации автоматов в этой модели. Для этой цели ..." | ||
Том 27, № 4 (2020) | Темпоральная логика для программируемых логических контроллеров | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач | ||
"... Мы исследуем формальную верификацию управляющего программного обеспечения критических систем, т. е ..." | ||
Том 27, № 4 (2020) | Архитектура формально-верифицированной системы распределенного реестра InnoChain | Аннотация PDF (Rus) похожие документы |
Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев | ||
"... . Основной целью этой архитектуры является реализуемость 5-ти уровней формальной верификации программного ..." | ||
Том 28, № 3 (2021) | Анализ влияния стилометрических характеристик разного уровня на верификацию авторов художественных произведений | Аннотация PDF (Rus) похожие документы |
Алла Михайловна Манахова, Надежда Станиславовна Лагутина | ||
"... разного уровня на качество верификации авторства русских, английских и французских прозаических текстов ..." | ||
Том 28, № 3 (2021) | Сравнение стилистических характеристик для верификации авторов художественных текстов | Аннотация похожие документы |
Ксения Владимировна Лагутина | ||
"... В статье сравниваются характеристики уровней символов, слов и ритма для верификации авторства ..." | ||
Том 29, № 3 (2022) | На пути к нейросетевой маршрутизации с верифицированными границами эффективности | Аннотация PDF (Rus) похожие документы |
Игорь Петрович Бужинский, Анатолий Абрамович Шалыто | ||
"... компенсировать этот недостаток, для ГНС были разработаны методы формальной верификации, которые могут ..." | ||
Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
"... В ИСИ СО РАН разрабатывается система C-lightVer для дедуктивной верификации С-программ. Исходя из ..." | ||
Том 27, № 4 (2020) | InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации | Аннотация PDF (Rus) похожие документы |
Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин | ||
"... Степень применения методов формальной верификации в индустриальных проектах всегда была ограничена ..." | ||
Том 30, № 3 (2023) | Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) | Аннотация похожие документы |
Дмитрий Александрович Кондратьев | ||
"... Классическая дедуктивная верификация не ориентирована на доказательство некорректности программ ..." | ||
Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
"... линейного времени $Reg$-$LTL$ и предложили алгоритмы верификации моделей для новых расширений логик $Reg ..." | ||
1 - 16 из 16 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)