Сортировать по:
| Выпуск | Название | |
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... , заданную правилами перевода операторов языка poST в Promela — входной язык средства проверки моделей SPIN ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... спецификации программного поведения используется язык темпоральной логики LTL. Анализ корректности LTL ..." | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... доказательства. В статье мы сначала даём краткое введение в язык poST, процесс-ориентированное расширение языка ..." | ||
| Том 31, № 4 (2024) | Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... . Мы апробируем этот подход к точному тесту планируемости, реализуя на Promela — входном языке инструмента ..." | ||
| Том 33, № 2 (2026) | Автоматизация доказательства условий корректности в системе дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
| "... собой процесс-ориентированное расширение языка ST из стандарта IEC 61131-3. Поскольку к управляющим ..." | ||
| Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... средства символьной проверки модели SMV при спецификации свойств на языке темпоральной логики линейного ..." | ||
| Том 21, № 6 (2014) | Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова | ||
| "... инструмент проверки моделей SPIN. Протоколы агентов записаны на языке Promela, а свойства мультиагентной ..." | ||
| Том 31, № 4 (2024) | Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
| "... -ориентированный язык, который является расширением языка ST из стандарта IEC 61131-3. В области разработки ..." | ||
| 1 - 8 из 8 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
