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

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

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

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Кибернетика и системный анализ
Дата:2009
Автор: Чеботарев, А.Н.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 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
id nasplib_isofts_kiev_ua-123456789-44396
record_format dspace
spelling Чеботарев, А.Н.
2013-06-01T07:58:58Z
2013-06-01T07:58:58Z
2009
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке / А.Н. Чеботарев // Кибернетика и системный анализ. — 2009. — № 5. — С. 3-12. — Бібліогр.: 8 назв. — рос.
0023-1274
https://nasplib.isofts.kiev.ua/handle/123456789/44396
519.713.1
Розглянуто методи верифікації специфікацій реактивних алгоритмів у мові L. Верифікація здійснюється відносно властивостей, поданих у вигляді формул класу GR(1) темпоральної логіки LTL, і зводиться до перевірки виконуваності формул у мові L
Verification methods for reactive algorithms specifications in the language L are considered. The verification is performed with respect to properties expressed in the GR(1) class of the temporal logic LTL and is reduced to checking the satisfiability of formulas in the language L.
ru
Інститут кібернетики ім. В.М. Глушкова НАН України
Кибернетика и системный анализ
Кибернетика
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
Верифікація специфікацій у мові L відносно темпоральних властивостей, які не можуть бути специфікованими цією мовою
Verifying specifications in the language L against temporal properties non-expressible in this language
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
spellingShingle Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
Чеботарев, А.Н.
Кибернетика
title_short Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
title_full Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
title_fullStr Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
title_full_unstemmed Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
title_sort верификация спецификаций в языке l относительно темпоральных свойств, не выразимых в этом языке
author Чеботарев, А.Н.
author_facet Чеботарев, А.Н.
topic Кибернетика
topic_facet Кибернетика
publishDate 2009
language Russian
container_title Кибернетика и системный анализ
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
format Article
title_alt Верифікація специфікацій у мові L відносно темпоральних властивостей, які не можуть бути специфікованими цією мовою
Verifying specifications in the language L against temporal properties non-expressible in this language
description Розглянуто методи верифікації специфікацій реактивних алгоритмів у мові L. Верифікація здійснюється відносно властивостей, поданих у вигляді формул класу GR(1) темпоральної логіки LTL, і зводиться до перевірки виконуваності формул у мові L Verification methods for reactive algorithms specifications in the language L are considered. The verification is performed with respect to properties expressed in the GR(1) class of the temporal logic LTL and is reduced to checking the satisfiability of formulas in the language L.
issn 0023-1274
url https://nasplib.isofts.kiev.ua/handle/123456789/44396
citation_txt Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке / А.Н. Чеботарев // Кибернетика и системный анализ. — 2009. — № 5. — С. 3-12. — Бібліогр.: 8 назв. — рос.
work_keys_str_mv AT čebotarevan verifikaciâspecifikaciivâzykelotnositelʹnotemporalʹnyhsvoistvnevyrazimyhvétomâzyke
AT čebotarevan verifíkacíâspecifíkacíiumovílvídnosnotemporalʹnihvlastivosteiâkínemožutʹbutispecifíkovanimicíêûmovoû
AT čebotarevan verifyingspecificationsinthelanguagelagainsttemporalpropertiesnonexpressibleinthislanguage
first_indexed 2025-12-07T20:09:58Z
last_indexed 2025-12-07T20:09:58Z
_version_ 1850881551197274112

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