Верификация спецификаций в языке 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| _version_ | 1862739655634452480 |
|---|---|
| author | Чеботарев, А.Н. |
| author_facet | Чеботарев, А.Н. |
| citation_txt | Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке / А.Н. Чеботарев // Кибернетика и системный анализ. — 2009. — № 5. — С. 3-12. — Бібліогр.: 8 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| 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.
|
| first_indexed | 2025-12-07T20:09:58Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-44396 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-12-07T20:09:58Z |
| publishDate | 2009 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| 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 |
| spellingShingle | Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке Чеботарев, А.Н. Кибернетика |
| title | Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке |
| title_alt | Верифікація специфікацій у мові L відносно темпоральних властивостей, які не можуть бути специфікованими цією мовою Verifying specifications in the language L against temporal properties non-expressible in this language |
| title_full | Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке |
| title_fullStr | Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке |
| title_full_unstemmed | Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке |
| title_short | Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке |
| title_sort | верификация спецификаций в языке l относительно темпоральных свойств, не выразимых в этом языке |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/44396 |
| 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 |