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

Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Кибернетика и системный анализ
→
Кибернетика и системный анализ, 2009, том 45
→
Кибернетика и системный анализ, 2009, № 5
→
Переглянути статтю

dc.contributor.author	Чеботарев, А.Н.
dc.date.accessioned	2013-06-01T07:58:58Z
dc.date.available	2013-06-01T07:58:58Z
dc.date.issued	2009
dc.identifier.citation	Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке / А.Н. Чеботарев // Кибернетика и системный анализ. — 2009. — № 5. — С. 3-12. — Бібліогр.: 8 назв. — рос.	uk_UA
dc.identifier.issn	0023-1274
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/44396
dc.description.abstract	Розглянуто методи верифікації специфікацій реактивних алгоритмів у мові L. Верифікація здійснюється відносно властивостей, поданих у вигляді формул класу GR(1) темпоральної логіки LTL, і зводиться до перевірки виконуваності формул у мові L	uk_UA
dc.description.abstract	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.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Інститут кібернетики ім. В.М. Глушкова НАН України	uk_UA
dc.relation.ispartof	Кибернетика и системный анализ
dc.subject	Кибернетика	uk_UA
dc.title	Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке	uk_UA
dc.title.alternative	Верифікація специфікацій у мові L відносно темпоральних властивостей, які не можуть бути специфікованими цією мовою	uk_UA
dc.title.alternative	Verifying specifications in the language L against temporal properties non-expressible in this language	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	519.713.1