Сортировать по:
Выпуск | Название | |
Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
"... and Reg-CTL ofthe well-known temporal logics oflinear and branching time LTL and CTL, in which ..." | ||
Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
"... $-$LTL$ and introduced a model checking algorithm for $Reg$-$LTL$, $Reg$-$CTL$, and $Reg$-$CTL ..." | ||
Том 28, № 1 (2021) | LTL-спецификация счётчиковых машин | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин | ||
"... demonstrates, using the linear temporal logic LTL as an example, how abstract concepts of non-classical logics ..." | ||
Том 29, № 1 (2022) | LTL-спецификация ограниченных счётчиковых машин | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин | ||
"... of a program system as a set of formulas of the linear temporal logic LTL, followed by the use ..." | ||
Том 27, № 4 (2020) | Темпоральная логика для программируемых логических контроллеров | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач | ||
"... as a hyperprocess transition system and temporal cycle-LTL logic based on LTL logic for formulating PLC property ..." | ||
Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
И. В. Коннов, В. А. Захаров | ||
"... by exploring an extended state space. In this paper we show that the technique is applicable to LTL model ..." | ||
Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
"... behaviour. We discovered that a restricted variant LP-1-LT L of our logic is more expressive than LTL ..." | ||
Том 21, № 2 (2014) | Построение IL-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... is proposed. For the specification of the program behavior, we use the linear-time temporal logic LTL ..." | ||
Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
"... . For the specification of the program behavior, we use the linear-time temporal logic LTL. Programming is carried out ..." | ||
Том 20, № 4 (2013) | Построение и верификация ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
"... . For the specification of a program behavior we use the linear-time temporal logic LTL. Programming is carried out ..." | ||
Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
"... by LTL-specification. This approach provides an ability of correctness analysis of PLC-programs ..." | ||
Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
"... based on the LTL-specification. The essence of the approach is to describe the behavior of programs ..." | ||
Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) похожие документы |
К. А. Васильева, Е. В. Кузьмин | ||
"... . The practical result of the work is an application of the tool SPIN and the temporal logic LTL for specification ..." | ||
Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
"... the external environment and managing high-level LTL specifications. Then we present the main ideas ..." | ||
Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
"... and verification of discrete PLC-programs by an LTL-specification. The approach provides a possibility of PLC ..." | ||
Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
Н. В. Шилов | ||
"... ) and in Computation Tree Logic (CTL). This puzzle is a good educational example to present specifics of different ..." | ||
Том 26, № 3 (2019) | Формальная верификация диаграмм троичных цифровых сигналов | Аннотация PDF (Rus) похожие документы |
Нина Юрьевна Куцак, Владислав Васильевич Подымов | ||
"... верификации систем относительно формул темпоральных логик и учитывающие такие характерные особенности сигналов ..." | ||
Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... -time temporal logic LTL. ..." | ||
Том 20, № 2 (2013) | Моделирование, спецификация и построение программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... of a program behavior we use the linear-time temporal logic LTL. Programming is carried out in the ST-language ..." | ||
Том 19, № 2 (2012) | Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL | Аннотация PDF (Rus) похожие документы |
Павел Валерьевич Лебедев | ||
"... описываются формулами некоторого подмножества темпоральной логики PLTL (propositional temporal logic of linear ..." | ||
Том 17, № 4 (2010) | О сложности верификации недетерминированных вероятностных мультиагентных систем | Аннотация PDF (Rus) похожие документы |
М. К. Валиев, М. И. Дехтярь | ||
Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
"... представляется набором именованных состояний, содержащих программный код, которые задают логику поведения ..." | ||
Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
И. В. Шошмина | ||
Том 25, № 5 (2018) | О методах верификации и разработки программ развития сельскохозяйственных территорий | Аннотация PDF (Rus) похожие документы |
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов | ||
"... которой создается аксиоматическая теория, использующая аппарат алгоритмических логик Хоара. Основной ..." | ||
Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
"... that it is correct w.r.t. UPPAAL query language which is based on the subset of Timed CTL. ..." | ||
Том 21, № 6 (2014) | Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова | ||
"... -agent data analysis system are expressed in the liner time logic LTL. We carried out several experiments ..." | ||
Том 23, № 6 (2016) | Подход к верификации семейства мультиагентных систем разрешения конфликтов | Аннотация PDF (Rus) похожие документы |
Н. О. Гаранина, Е. А. Сидорова | ||
"... system are specified by universal branching time logic ∀CTL with finite deterministic automata as atomic ..." | ||
Том 17, № 4 (2010) | Об исчислении позитивно-образованных формул для автоматического доказательства теорем | Аннотация PDF (Rus) похожие документы |
А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин | ||
Том 30, № 3 (2023) | Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) | Аннотация похожие документы |
Дмитрий Александрович Кондратьев | ||
"... . Специальные логики, такие как Incorrectness Logic, Adversarial Logic, Local Completeness Logic, Exact ..." | ||
Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
"... by LTL-specification. This approach provides the availability of correctness analysis of PLC-programs ..." | ||
Том 20, № 6 (2013) | Общие знания в хорошо структурированных системах с абсолютной памятью | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина | ||
"... В данной работе исследуется задача проверки моделей для логики общих знаний и неподвижных точек ..." | ||
Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
И. В. Марьясов, В. А. Непомнящий | ||
Том 25, № 5 (2018) | Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий | ||
Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация похожие документы |
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
Том 18, № 1 (2011) | Стратегия выполнения операций копирования и удаления в дереве объектов | Аннотация PDF (Rus) похожие документы |
А. В. Майоров | ||
"... копирования и удаления объектов, не нарушающих логику связей между объектами. ..." | ||
Том 24, № 4 (2017) | О задаче минимизации последовательных программ | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова | ||
"... отношение логико-термальной эквивалентности стандартных схем программ и задачу минимизации их размера при ..." | ||
Том 23, № 2 (2016) | Метод сбалансированного выбора механизмов обеспечения отказоустойчивости для распределённых вычислительных систем | Аннотация PDF (Rus) похожие документы |
Д. Ю. Волканов | ||
"... . Предложенный метод представляет собой эволюционный алгоритм с использованием схемы нечёткой логики. Схема ..." | ||
Том 21, № 6 (2014) | Разработка самоприменимой системы верификации. Теория и практика | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
"... ? Теоретические основы логик Хоара исследовались в классических работах, где были получены различные результаты по ..." | ||
Том 18, № 4 (2011) | Использование зависимостей для повышения точности статического анализа программ | Аннотация PDF (Rus) похожие документы |
Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько | ||
"... логического вывода, базирующегося на известных правилах логики и арифметики. Некоторые из разработанных ..." | ||
Том 23, № 6 (2016) | Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик | Аннотация PDF (Rus) похожие документы |
О. Б. Кушнаренко, Ж.-Ф. Вебер | ||
"... новые охраняемые реконфигурирования на базе логики Хоара, которые построены на основе примитивных ..." | ||
Том 24, № 4 (2017) | Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов | Аннотация PDF (Rus) похожие документы |
Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов | ||
"... сложности алгоритмов”, которая позволит учащемуся освоить сложный математический аппарат и развить логико ..." | ||
Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
"... учащемуся освоить одну из важных тем дисциплины «Дискретная математика» и развить логико-математическое ..." | ||
Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
"... . Метагенератор условий корректности принимает на вход C-kernel программу и логику Хоара для C-kernel. Для решения ..." | ||
Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
Томас Баар, Сергей Михайлович Старолетов | ||
"... , имеющихся в логике исчисления. Еще одним препятствием для широкого применения KeYmaera является ..." | ||
Том 27, № 4 (2020) | Архитектура формально-верифицированной системы распределенного реестра InnoChain | Аннотация PDF (Rus) похожие документы |
Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев | ||
"... осуществлять формальную верификацию свойств корректности смарт-контрактов в системах логики высших порядков ..." | ||
Том 28, № 4 (2021) | Рекурсивная проверка включения для рекурсивно определенных подтипов | Аннотация PDF (Rus) похожие документы |
Ханс Де Нивелле | ||
"... программирования, подходящего для эффективной реализации логики. Логические формулы представляют собой древовидные ..." | ||
Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
Игорь Сергеевич Ануреев | ||
"... цикла выполнения программы, логику управления переходами процессов из состояния в состояние и ..." | ||
1 - 47 из 47 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)