Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
Vernadsky National Library of Ukraine
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
|
|
Creator |
Чеботарев, А.Н.
|
|
Subject |
Кибернетика
|
|
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. |
|
Date |
2013-06-01T07:58:58Z
2013-06-01T07:58:58Z 2009 |
|
Type |
Article
|
|
Identifier |
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке / А.Н. Чеботарев // Кибернетика и системный анализ. — 2009. — № 5. — С. 3-12. — Бібліогр.: 8 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/44396 519.713.1 |
|
Language |
ru
|
|
Relation |
Кибернетика и системный анализ
|
|
Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|