Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
Розглянуто методи верифікації специфікацій реактивних алгоритмів у мові L. Верифікація здійснюється відносно властивостей, поданих у вигляді формул класу GR(1) темпоральної логіки LTL, і зводиться до перевірки виконуваності формул у мові L...
Збережено в:
| Дата: | 2009 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2009
|
| Назва видання: | Кибернетика и системный анализ |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.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 |
irk-123456789-44396 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-443962013-06-02T03:02:35Z Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке Чеботарев, А.Н. Кибернетика Розглянуто методи верифікації специфікацій реактивних алгоритмів у мові 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. 2009 Article Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке / А.Н. Чеботарев // Кибернетика и системный анализ. — 2009. — № 5. — С. 3-12. — Бібліогр.: 8 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/44396 519.713.1 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Кибернетика Кибернетика |
| spellingShingle |
Кибернетика Кибернетика Чеботарев, А.Н. Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке Кибернетика и системный анализ |
| description |
Розглянуто методи верифікації специфікацій реактивних алгоритмів у мові L. Верифікація здійснюється відносно властивостей, поданих у вигляді формул класу GR(1) темпоральної логіки LTL, і зводиться до перевірки виконуваності формул у мові L |
| format |
Article |
| author |
Чеботарев, А.Н. |
| author_facet |
Чеботарев, А.Н. |
| author_sort |
Чеботарев, А.Н. |
| title |
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке |
| title_short |
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке |
| title_full |
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке |
| title_fullStr |
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке |
| title_full_unstemmed |
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке |
| title_sort |
верификация спецификаций в языке l относительно темпоральных свойств, не выразимых в этом языке |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2009 |
| topic_facet |
Кибернетика |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/44396 |
| citation_txt |
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке / А.Н. Чеботарев // Кибернетика и системный анализ. — 2009. — № 5. — С. 3-12. — Бібліогр.: 8 назв. — рос. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT čebotarevan verifikaciâspecifikacijvâzykelotnositelʹnotemporalʹnyhsvojstvnevyrazimyhvétomâzyke |
| first_indexed |
2023-10-18T18:00:17Z |
| last_indexed |
2023-10-18T18:00:17Z |
| _version_ |
1796143064405770240 |