Поиск


Сортировать по:     
 
Выпуск Название
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... standard. We use the Cadence SMV for symbolic model checking. Program properties are written in the linear ..."
 
Том 20, № 4 (2013) Построение и верификация ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... , an SMV-model of a PLC-program is constructed according to LTL-specification. Then, the SMV-model ..."
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... program variable. In addition, an SMV-model of a PLC LD-program is constructed according to LTL ..."
 
Том 21, № 2 (2014) Построение IL-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... of each program variable. In addition, an SMV-model of a PLC IL-program is constructed according to LTL ..."
 
Том 20, № 2 (2013) Моделирование, спецификация и построение программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... A new approach to construction of reliable discrete PLC-programs with timers — programming based ..."
 
Том 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, № 4 (2015) О выразительности подхода к построению ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов
"...  by LTL-specification. This approach provides an ability of correctness analysis of PLC-programs ..."
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... to the automatic verification tool Cadence SMV. Some possible PLC-program vulnerabilities arising at a number ..."
 
Том 21, № 4 (2014) Моделирование согласованного поведения ПЛК-датчиков Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов
"... by LTL-specification. This approach provides the availability of correctness analysis of PLC-programs ..."
 
Том 14, № 1 (2007) Верификация автоматных программ с использованием LTL Аннотация  PDF (Rus)  похожие документы
К. А. Васильева, Е. В. Кузьмин
"... written in the traditional style, there is a serious problem of the adequacy of this program model ..."
 
Том 19, № 6 (2012) Дедуктивная верификация телекоммуникационных систем, представленных на языке Си Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... A deductive approach to verification of telecommunication systems written in C is proposed ..."
 
Том 18, № 4 (2011) Верификация Си-программ: объяснение условий корректности и стандартная библиотека Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Промский
"... The C program verification project is being developed in IIS. Its latest extension is twofold ..."
 
Том 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) Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий
"... During deductive verification of programs written in imperative languages, the generation ..."
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... Nowadays, due to software sophistication, programs correctness is more often proved by means ..."
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация  PDF (Rus)  похожие документы
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
"... of imperative programs is considered from the formal point of view. Petri net samples with certain ..."
 
Том 17, № 4 (2010) Пример верификации в проекте F@BOOL@, основанном на булевских решателях Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... A verifying compiler is a system computer program that translates programs written by man from ..."
 
Том 20, № 6 (2013) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
"... семинара «Семантика, спецификация и верификация программ: теория и приложения» (Fourth Workshop on Program ..."
 
Том 21, № 6 (2014) Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова
"... of agents are written in Promela language (the input language of the tool) and the properties of the multi ..."
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация  PDF (Rus)  похожие документы
И. В. Шошмина
 
Том 21, № 4 (2014) Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ Аннотация  PDF (Rus)  похожие документы
Андрей Эрикович Молчанов
"... Algebraic program models with procedures are designed to analyze program semantic properties ..."
 
Том 21, № 2 (2014) Разрешимость эквивалентности в перегородчатых моделях программ Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко, Андрей Эрикович Молчанов
"... Algebraic program models with procedures are designed to analyze program semantic properties ..."
 
Том 21, № 4 (2014) Исследование примитивных схем программ с процедурами Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко
"... The paper considers algebraic program models with procedures designed to analyze program semantic ..."
 
Том 21, № 6 (2014) Поведенческая идентификация программ Аннотация  PDF (Rus)  похожие документы
Максим Викторович Баклановский, Артур Рафаэльевич Ханов
"... % precision. Program identification based on behavior is used for anomaly detection of malicious activities ..."
 
Том 24, № 4 (2017) О задаче минимизации последовательных программ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова
"... First-order program schemata is one of the simplest models of sequential imperative programs ..."
 
Том 14, № 1 (2007) Синхронная модель автоматной программы Аннотация  PDF (Rus)  похожие документы
С. В. Кубасов, В. А. Соколов
"... This article presents a model of automaton program that satisfies synchronous model requirements ..."
 
Том 14, № 4 (2007) Верификация синхронно-автоматных программ Аннотация  PDF (Rus)  похожие документы
С. В. Кубасов
"... This article presents a synchronous model of the automaton program. A technique of verification ..."
 
Том 17, № 4 (2010) Верификация и синтез программ сложения на базе правил корректности операторов Аннотация  PDF (Rus)  похожие документы
В. И. Шелехов
"... Deductive verication and synthesis of binary addition programs are performed on the base ..."
 
Том 19, № 5 (2012) О теории алгебраических моделей программ с процедурами Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко, Андрей Эрикович Молчанов
"... Algebraic program models with procedures are designed to analyze program semantic properties ..."
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
"... program errors and contract violations in a memory and time efficient way. We implemented this approach ..."
 
Том 25, № 5 (2018) О методах верификации и разработки программ развития сельскохозяйственных территорий Аннотация  PDF (Rus)  похожие документы
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов
"... Nowadays, the methods of program-targeted management for the development of various socio-economic ..."
 
Том 25, № 5 (2018) Полипрограммы и бисимуляция полипрограмм Аннотация  похожие документы
Сергей Александрович Гречаник
"... A polyprogram is a generalization of a program which admits multiple definitions of a single ..."
 
Том 25, № 5 (2018) Этюд об устранении рекурсии Аннотация  похожие документы
Николай Вячеславович Шилов
"... Transformation-based program verification was a very important topic in early years of theory ..."
 
Том 19, № 4 (2012) Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева
"... The peculiarities of transforming functional dataflow parallel programs into programs with finite ..."
 
Том 19, № 5 (2012) Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Кропачева, Александр Иванович Легалов
"... The article is devoted to the methods of proving parallel programs correctness that are based ..."
 
Том 24, № 6 (2017) Семантически-ориентированная миграция Java-программ: опыт практического применения Аннотация  PDF (Rus)  похожие документы
Артем Олегович Алексюк, Владимир Михайлович Ицыксон
 
Том 17, № 3 (2010) Верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий
"... conditions in many cases. This semantics is a base of verification conditions generator of C-kernel programs ..."
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
"... using the example of C program verication. The project aims at the development of a new integrated ..."
 
Том 18, № 4 (2011) Использование зависимостей для повышения точности статического анализа программ Аннотация  PDF (Rus)  похожие документы
Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько
"... defects in program source code are explained. The need for program object dependency extraction ..."
 
Том 18, № 4 (2011) Атрибутные аннотации и их применение в дедуктивной верификации C-программ Аннотация  PDF (Rus)  похожие документы
Михаил Михайлович Атучин, Игорь Сергеевич Ануреев
"... for their application in a deductive program verification are proposed. A collection of annotating attributes ..."
 
Том 18, № 4 (2011) Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока
"... , the security of such programs should be thoroughly tested, i.e., it is important to develop techniques ..."
 
Том 25, № 4 (2018) Верификация программ со взаимной рекурсией на языке Пифагор Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Ушакова, Александр Иванович Легалов
"... In the article, we consider verification of programs with mutual recursion in the data driven ..."
 
Том 17, № 2 (2010) Метод оценки частоты выполнения фрагментов кода последовательной программы Аннотация  PDF (Rus)  похожие документы
А. В. Шалимов
"... The goal of this article is to consider the task of determining the execution frequency of program ..."
 
Том 18, № 2 (2011) Об одном представлении функции в модели императивной программы, заданной сетями Петри Аннотация  PDF (Rus)  похожие документы
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков
"... In the article an approach to constructing in terms of Petri nets a function model as a program ..."
 
Том 20, № 6 (2013) Автоматическая верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев
"... a choice between simplified and full-strength deduction rules depending on program objects ..."
 
Том 24, № 6 (2017) Элиминация инвариантов финитных итераций над массивами при верификации Си программ Аннотация  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев
"... ]. It extends the mixed axiomatic semantics method [1] suggested for C-light program verification ..."
 
Том 15, № 1 (2008) Библиотека параллельного исполнения rpC-программ для Win32 Аннотация  PDF (Rus)  похожие документы
В. В. Васильчиков, А. В. Шубин
"... The new version of the library for parallel execution of rpC-programs under Win32 is reviewed ..."
 
Том 22, № 6 (2015) Модель безопасности информационных потоков для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов
"... собой расширенную версию доклада на VI Международном семинаре “Program Semantics, Specification and ..."
 
Том 22, № 4 (2015) Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов Аннотация  PDF (Rus)  похожие документы
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин
"... for the present connection capability. The simulator of the wireless mesh-network of mobile objects is written ..."
 
Том 19, № 6 (2012) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
"... Program Semantics, Specification and Verification: Theory and Applications, PSSV 2012) и Международной ..."
 
Том 21, № 6 (2014) Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон
"... One of the most serious problems when doing program analyses is dealing with function calls. While ..."
 
Том 17, № 4 (2010) Интеграция семантических верификаторов в компиляторы языка Java Аннотация  PDF (Rus)  похожие документы
А. В. Клепинин, А. А. Мелентьев
"... of program verication rules are presented to demon- strate the method. ..."
 
Том 18, № 4 (2011) Статический анализ с использованием систем типов и эффектов на основе LLVM Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Беляев, Вадим Александрович Цесько
"... programs. The tool uses LLVM bitcode files as input, thus extending the set of analyzed languages to those ..."
 
Том 20, № 6 (2013) Международная конференция “Геометрия, топология и и приложения” Аннотация  PDF (Rus)  похожие документы
Алексей Гарбер, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский
"... conferences on theoretical and practical topics related to the research program is an important element ..."
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... The C-program verification is an urgent problem of modern programming. To apply known methods ..."
 
Том 25, № 4 (2018) Оптимизация инварианта цикла в языке Пифагор Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Васильев, Александр Иванович Легалов
"... The paper considers methods of program transformation equivalent to optimizing the cycle invariant ..."
 
Том 26, № 1 (2019) Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов
 
Том 22, № 2 (2015) Эффективность доступа к данным в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович Антонов, В. С. Рублев
"... . As there are DBMS of different types, no uniform algorithm for data converting from any DBMS to DIM can be written ..."
 
Том 19, № 6 (2012) Применение методов фрактальной и вычислительной геометрии для картографической генерализации линейных объектов Аннотация  PDF (Rus)  похожие документы
Олег Рустумович Мусин, Алексей Юрьевич Ухалов, Герберт Эдельсбруннер, Ольга Павловна Якимова
"... with a computer program implementing this algorithm. ..."
 
Том 22, № 1 (2015) Метод логистической функции для нахождения аналитических решений нелинейных дифференциальных уравнений Аннотация  похожие документы
Николай Алексеевич Кудряшов
"... . Using these powerful programs a researcher can make cumbersome analytical calculations in a short period ..."
 
1 - 75 из 155 результатов 1 2 3 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)