Зображення обкладинки

Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке

Розглянуто методи верифікації специфікацій реактивних алгоритмів у мові L. Верифікація здійснюється відносно властивостей, поданих у вигляді формул класу GR(1) темпоральної логіки LTL, і зводиться до перевірки виконуваності формул у мові L Verification methods for reactive algorithms specifications...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2009
Автор:	Чеботарев, А.Н.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2009
Теми:	Кибернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/44396
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке / А.Н. Чеботарев // Кибернетика и системный анализ. — 2009. — № 5. — С. 3-12. — Бібліогр.: 8 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Согласование спецификаций автоматов, представленных в языке L
за авторством: Чеботарев, А.Н.
Опубліковано: (2016)

Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
за авторством: Чеботарев, А.Н.
Опубліковано: (2010)

Усовершенствованный метод синтеза автомата по его спецификации в языке L
за авторством: Тимофеев, В.Г., та інші
Опубліковано: (2011)

Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L
за авторством: Чеботарев, А.Н., та інші
Опубліковано: (2011)

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
за авторством: Визовитин, Н.В., та інші
Опубліковано: (2015)

Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L
за авторством: Чеботарев, А.Н.
Опубліковано: (2013)

Определение фиктивных состояний в Σ-автомате, синтезированном по спецификации в языке LP
за авторством: Чеботарев, А.Н.
Опубліковано: (2019)

Использование согласования логических спецификаций автоматов при решении игровых задач
за авторством: Чеботарев, А.Н.
Опубліковано: (2014)

Метод итеративного построения терминологии в коллекциях научных текстов на украинском языке
за авторством: Глибовец, А.Н., та інші
Опубліковано: (2014)

Верификация программ: состояние, проблемы, результаты. I
за авторством: Крывый, С.Л., та інші
Опубліковано: (2013)

Верификация программ: состояние, проблемы, результаты. II
за авторством: Крывый, С.Л., та інші
Опубліковано: (2014)

Формальные методы анализа дискретных систем с использованием языка спецификаций
за авторством: Крывый, С.Л., та інші
Опубліковано: (2009)

Методика разработки и средства формализации функциональных спецификаций систем и устройств
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2016)

О классе формул языка L*, специфицирующих автоматы с конечной памятью
за авторством: Чеботарев, А.Н.
Опубліковано: (2010)

Об инвариантности ключей относительно операций табличных алгебр
за авторством: Редько, В.Н., та інші
Опубліковано: (2015)

Интонация в крымскотатарском языке
за авторством: Меметов, А.М.
Опубліковано: (2012)

Звукосимволизм в персидском языке
за авторством: Трасковская, Г.С.
Опубліковано: (2012)

Проектирование реактивных алгоритмов путем решения уравнений над автоматами
за авторством: Чеботарев, А.Н.
Опубліковано: (2012)

Согласование взаимодействующих автоматов
за авторством: Чеботарев, А.Н.
Опубліковано: (2015)

Композиционный подход к проектированию реактивных алгоритмов
за авторством: Чеботарев, А.Н.
Опубліковано: (2013)

Глаголы с послелогами в английском языке и их эквиваленты в крымскотатарском языке
за авторством: Эмирусеинова, Э.Н.
Опубліковано: (2006)

Именное словообразование в крымскотатарском языке
за авторством: Сейдаметова, М.
Опубліковано: (2001)

Виды метафоры в крымскотатарском языке
за авторством: Аблаев, Р.Я.
Опубліковано: (2010)

Фразеологическая полисемия в крымскотатарском языке
за авторством: Куртсеитов, А.М.
Опубліковано: (2012)

Звукоподражательные слова в персидском языке
за авторством: Трасковская, Г.С.
Опубліковано: (2012)

Гендерно-маркированные единицы в современном английском языке
за авторством: Измайлова, З.Ю., та інші
Опубліковано: (2011)

Прямая речь в крымскотатарском языке: структура, модели, пунктуация
за авторством: Алиева, А.Н.
Опубліковано: (2012)

Диалог социолога и юриста о латентной преступности, и не только об этом…
за авторством: Рущенко, И.
Опубліковано: (2001)

Синонимия имени существительного в турецком языке
за авторством: Челебиев, Д.Э.
Опубліковано: (2011)

Жанры саркастических высказываний в английском языке
за авторством: Филиппова, М.М.
Опубліковано: (2006)

О фонетических стилях в немецком языке
за авторством: Проколова, Л.И.
Опубліковано: (2014)

Структурные особенности фирмонимов в английском языке
за авторством: Валова, Н.Ю., та інші
Опубліковано: (2008)

О фонетических стилях в немецком языке
за авторством: Прокопова, Л.И.
Опубліковано: (2001)

Аналоги крымскотатарских послелогов в русском языке
за авторством: Алиева, В.Н.
Опубліковано: (2005)

Лексикографическое описание универбов в русском языке
за авторством: Гафарова, Р.И.
Опубліковано: (2007)

Особенности функционирования сказуемого в крымскотатарском языке
за авторством: Оказ, Л.С.
Опубліковано: (2006)

Безличные предложения в современном английском языке
за авторством: Павлий, Б.В.
Опубліковано: (2002)

Развитие системы дифтонгов в немецком языке
за авторством: Мищенко, Н.В.
Опубліковано: (2004)

Функциональные особенности артикля в новогреческом языке
за авторством: Рыжевич, М.С.
Опубліковано: (2011)

Артикли в английском языке: когнитивный анализ
за авторством: Долгина, Е.А.
Опубліковано: (2006)